Revert for bad production code

Author: csev

nav.php

@@ -20,9 +20,9 @@
     $submenu = new \Tsugi\UI\Menu();
     $submenu->addLink('Profile', $T.'profile.php');
     if ( isset($CFG->google_map_api_key) ) {
-        $submenu->addLink('Map', $R.'map');
+        $submenu->addLink('Map', $T.'map.php');
     }
-    $submenu->addLink('Badges', $R.'badge');
+    $submenu->addLink('Badges', $T.'badges.php');
     $submenu->addLink('Materials', $R.'materials');
     if ( $CFG->DEVELOPER ) {
         $submenu->addLink('Test LTI Tools', $T . 'dev.php');
@@ -34,7 +34,7 @@
         $submenu->addLink('Administer', $T . 'admin/');
     }
     $submenu->addLink('Rate this course', 'https://www.class-central.com/mooc/7363/python-for-everybody');
-    $submenu->addLink('Logout', $R.'logout');
+    $submenu->addLink('Logout', $T.'logout.php');
     if ( isset($_SESSION['avatar']) ) {
         $set->addRight('<img src="'.$_SESSION['avatar'].'" style="height: 2em;"/>', $submenu);
         // htmlentities($_SESSION['displayname']), $submenu);