MDL-14738 Merged. Roles section on course settings is now "Role renam…

…ing", with help.

course/edit_form.php

@@ -369,7 +369,8 @@ function definition() {
 
 /// 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) {

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>

lang/en_utf8/moodle.php

@@ -1268,6 +1268,7 @@
 $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';