Some name changes

diff --git a/theme/index.php b/theme/index.php
index 32207efd621b66ae4be0ef1c5c220ad8fa69ccfc..1c77974ba78f18fff2557a13605808c28040a7b9 100644 (file)
--- a/theme/index.php
+++ b/theme/index.php
@@ -31,14 +31,14 @@
     }
 
     $stradministration = get_string("administration");
-    $strchoosetheme = get_string("choosetheme");
+    $strthemes = get_string("themes");
     $strpreview = get_string("preview");
     $strsavechanges = get_string("savechanges");
     $strtheme = get_string("theme");
     $strthemesaved = get_string("themesaved");
 
-    print_header("$site->shortname: $strchoosetheme", $site->fullname, 
-                 "<A HREF=\"$CFG->wwwroot/admin\">$stradministration</A> -> $strchoosetheme");
+    print_header("$site->shortname: $strthemes", $site->fullname, 
+                 "<A HREF=\"$CFG->wwwroot/admin\">$stradministration</A> -> $strthemes");
 
     if ($choose) {
         if (set_config("theme", $choose)) {