From: moodler Date: Tue, 13 May 2008 06:16:51 +0000 (+0000) Subject: MDL-14738 Merged. Roles section on course settings is now "Role renaming", with... X-Git-Url: http://git.mjollnir.org/gw?a=commitdiff_plain;h=7d2e9a5220753d5ee66f8c7d88dadf74e831a14b;p=moodle.git MDL-14738 Merged. Roles section on course settings is now "Role renaming", with help. --- diff --git a/course/edit_form.php b/course/edit_form.php index cfbaf00e54..c8c4255312 100644 --- 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 index 0000000000..f8423344a2 --- /dev/null +++ b/lang/en_utf8/help/rolerenaming.html @@ -0,0 +1,9 @@ +

Role renaming

+ +

+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. +

+ +

+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. +

diff --git a/lang/en_utf8/moodle.php b/lang/en_utf8/moodle.php index 15c1e2d973..1a8b639629 100644 --- 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';