fixed the duplicate "Themes" page (well, not quite duplicate, but confusing nonetheless)

diff --git a/admin/settings/userinterface.php b/admin/settings/userinterface.php
index 7e2ee2e201809c9887e5faefeceae917a92e0796..5c6cf6bb55c58e15a92b387b4f146fffd2d3e392 100644 (file)
--- a/admin/settings/userinterface.php
+++ b/admin/settings/userinterface.php
@@ -112,7 +112,7 @@ $ADMIN->add('userinterface', $temp);
 
 
 $ADMIN->add('userinterface', new admin_externalpage('timezoneimport', get_string('updatetimezones', 'admin'), $CFG->wwwroot . '/admin/timezoneimport.php'));
-$ADMIN->add('userinterface', new admin_externalpage('themeselector', get_string('themes'), $CFG->wwwroot . '/theme/index.php'));
+$ADMIN->add('userinterface', new admin_externalpage('themeselector', get_string('themeselector','admin'), $CFG->wwwroot . '/theme/index.php'));
 $ADMIN->add('userinterface', new admin_externalpage('langedit', get_string('langedit', 'admin'), $CFG->wwwroot . '/admin/lang.php'));
 $ADMIN->add('userinterface', new admin_externalpage('langimport', get_string('langimport', 'admin'), $CFG->wwwroot . '/admin/langimport.php'));