fix link to course catalogue in navbar

settings.php

@@ -25,7 +25,7 @@ if ($ADMIN->fulltree) {
     $title = get_string('navigationmenu', 'theme_unige');
     $description = get_string('navigationmenu_desc', 'theme_unige');
     $default = "/my;
-        /course;";
+    /course;";
     $setting = new admin_setting_configtextarea($name, $title, $description, $default);
     $setting->set_updatedcallback('theme_reset_all_caches');
     $page->add($setting);