MDL-14738 Merged. Roles section on course settings is now "Role renaming", with...

diff --git a/course/edit_form.php b/course/edit_form.php
index cfbaf00e544b6a1225a25c9bd990bad5c10b1b39..c8c4255312f1100e8f07082aa5a19b78e6747d35 100644 (file)
--- a/course/edit_form.php
+++ b/course/edit_form.php
@@ -369,7 +369,8 @@ class course_edit_form extends moodleform {
 
 /// customizable role names in this course
 //--------------------------------------------------------------------------------
-        $mform->addElement('header','', get_string('roles'));
+        $mform->addElement('header','rolerenaming', get_string('rolerenaming'));
+        $mform->setHelpButton('rolerenaming', array('rolerenaming', get_string('rolerenaming')), true);
 
         if ($roles = get_records('role')) {
             foreach ($roles as $role) {

diff --git a/lang/en_utf8/help/rolerenaming.html b/lang/en_utf8/help/rolerenaming.html
new file mode 100644 (file)
index 0000000..f842334
--- /dev/null
+++ b/lang/en_utf8/help/rolerenaming.html
@@ -0,0 +1,9 @@
+<h1>Role renaming</h1>
+
+<p> 
+This option allows you to change the displayed names for roles used in your course. For example, you may wish to change "Teacher" to "Facilitator" or "Tutor".  Only the displayed name is changed - the underlying role permissions are not affected.
+</p>
+
+<p>
+These new role names will appear on the course participants page and elsewhere within the course. If the renamed role is one that the Administrator has selected as a course manager role, then the new role name will also appear as part of the course listings.
+</p>

diff --git a/lang/en_utf8/moodle.php b/lang/en_utf8/moodle.php
index 15c1e2d973b82c4402a0329d79ce46841cfcdf5b..1a8b63962915f24f289e6281ced4c75f6fe80714 100644 (file)
--- a/lang/en_utf8/moodle.php
+++ b/lang/en_utf8/moodle.php
@@ -1268,6 +1268,7 @@ $string['returningtosite'] = 'Returning to this web site?';
 $string['revert'] = 'Revert';
 $string['role'] = 'Role';
 $string['rolemappings'] = 'Role mappings';
+$string['rolerenaming'] = 'Role renaming';
 $string['roles'] = 'Roles';
 $string['rss'] = 'RSS';
 $string['rssarticles'] = 'Number of RSS recent articles';