Merge remote-tracking branch 'origin/dev_jupyter' into dev_jupyter

app/models/laboratory_setting.rb

@@ -67,6 +67,7 @@ class LaboratorySetting < ApplicationRecord
         { 'name' => '在线竞赛', 'link' => '/competitions', 'hidden' => false },
         { 'name' => '教学案例', 'link' => '/moop_cases',   'hidden' => false },
         { 'name' => '交流问答', 'link' => '/forums',       'hidden' => false },
+        { 'name' => '开发者社区', 'link' => '/problems',       'hidden' => false },
       ],
       footer: nil
     }