From 75c64d922f2749e9bdfbcbd668c39eb57f2d3ec7 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Sun, 10 Aug 2003 14:37:52 +0000
Subject: [PATCH] Some name changes

---
 theme/index.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/theme/index.php b/theme/index.php
index 32207efd62..1c77974ba7 100644
--- 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)) {
-- 
2.39.5