putting a link on admin menu to manage tags page. Fixing some upper/lower cases

diff --git a/admin/settings/appearance.php b/admin/settings/appearance.php
index ce3b3898d8466b233381269f85d7803941baed6e..7b16d9ff159e1b75eab51a2891d35b0ac3293f3f 100644 (file)
--- a/admin/settings/appearance.php
+++ b/admin/settings/appearance.php
@@ -121,4 +121,7 @@ $ADMIN->add('appearance', new admin_externalpage('stickyblocks', get_string('sti
 $temp = new admin_settingpage('ajax', get_string('ajaxuse'));
 $temp->add(new admin_setting_configcheckbox('enableajax', get_string('enableajax', 'admin'), get_string('configenableajax', 'admin'), 0));
 $ADMIN->add('appearance', $temp);
+
+// link to tag management interface
+$ADMIN->add('appearance', new admin_externalpage('managetags', get_string('managetags', 'tag'), "$CFG->wwwroot/tag/manage.php"));
 ?>

diff --git a/lang/en_utf8/admin.php b/lang/en_utf8/admin.php
index e0534354176e1afdaf112e60cfcde2c4aa2f5692..0a01841285e933c36d18a90e8a49b42c438bd9ff 100644 (file)
--- a/lang/en_utf8/admin.php
+++ b/lang/en_utf8/admin.php
@@ -343,7 +343,7 @@ $string['hideactivitytypenavlink'] = 'Hide activity type navigation';
 $string['hidefromall'] = 'Hide from all users';
 $string['hidefromnone'] = 'Hide from nobody';
 $string['hidefromstudents'] = 'Hide from students';
-$string['htmleditor'] = 'HTML Editor';
+$string['htmleditor'] = 'HTML editor';
 $string['http'] = 'HTTP';
 $string['httpsecurity'] = 'HTTP security';
 $string['iconvrecommended'] = 'Installing the optional ICONV library is highly recommended in order to improve site performance, particularly if your site is supporting non-latin languages.';

diff --git a/lang/en_utf8/tag.php b/lang/en_utf8/tag.php
index e67a32136afc29ae8dfdd382905436878a64448a..4d73ae55c7d29a78bdd31841982bbdca742ad41f 100644 (file)
--- a/lang/en_utf8/tag.php
+++ b/lang/en_utf8/tag.php
@@ -12,7 +12,7 @@ $string['flag'] = 'Flag';
 $string['flagasinappropriate'] = 'Flag as inappropriate';
 $string['helprelatedtags'] = 'Comma separated related tags';
 $string['id'] = 'id';
-$string['managetags'] = 'Manage Tags';
+$string['managetags'] = 'Manage tags';
 $string['name'] = 'Name';
 $string['namesalreadybeeingused'] = 'Tag names already being used';
 $string['newname'] = 'New Name';