Add a little language-changing menu here to make it easier

diff --git a/admin/lang.php b/admin/lang.php
index bfce4a6e404779bf0f68c1c50daa41b2ad8edeb7..65156034c61010fc1b59c0a02aedb776820525bc 100644 (file)
--- a/admin/lang.php
+++ b/admin/lang.php
@@ -45,7 +45,13 @@
                  "<a href=\"configure.php\">$strconfiguration</a> -> $navigation");
 
     if (!$mode) {
-        print_heading("$strcurrentlanguage: $currentlang - ".get_string("thislanguage"));
+        $currlang = current_language();
+        $langs = get_list_of_languages();
+        echo "<table align=center><tr><td align=\"right\">";
+        echo "<b>$strcurrentlanguage:</b>";
+        echo "</td><td>";
+        echo popup_form ("$CFG->wwwroot/admin/lang.php?lang=", $langs, "chooselang", $currlang, "", "", "", true);
+        echo "</td></tr></table>";
         print_heading("<a href=\"lang.php?mode=missing\">$strmissingstrings</a>");
         print_heading("<a href=\"lang.php?mode=compare\">$strcomparelanguage</a>");
         echo "<center><hr noshade size=1>";