Fix for switching languages in documentation

diff --git a/doc/top.php b/doc/top.php
index 82751d529f694ed3aa5fd96ec5fcad13329059ec..1618cdef51e8a0669b172594fa4db5d55e47243b 100644 (file)
--- a/doc/top.php
+++ b/doc/top.php
@@ -7,14 +7,14 @@
     } else {
         $currlang = current_language();
         $langs    = get_list_of_languages();
-        $langmenu = popup_form ("$CFG->wwwroot/doc/?lang=", $langs, "chooselang", $currlang, "", "", "", true);
+        $langmenu = popup_form ("$CFG->wwwroot/doc/?lang=", $langs, "chooselang", $currlang, "", "", "", true, "parent");
     }
 
     if (! $site = get_site()) {
         error("Site is misconfigured");
     }
     $strdocumentation = get_string("documentation");
-    print_header("$site->shortname: $strdocumentation", "$site->fullname", "$strdocumentation", "", "", true, $langmenu, navmenu($site));
+    print_header("$site->shortname: $strdocumentation", "$site->fullname", "$strdocumentation", "", "", true, $langmenu, navmenu($site, NULL, "parent"));
     
 ?>