From 7d2e9a5220753d5ee66f8c7d88dadf74e831a14b Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Tue, 13 May 2008 06:16:51 +0000
Subject: [PATCH] MDL-14738 Merged. Roles section on course settings is now
"Role renaming", with help.
---
course/edit_form.php | 3 ++-
lang/en_utf8/help/rolerenaming.html | 9 +++++++++
lang/en_utf8/moodle.php | 1 +
3 files changed, 12 insertions(+), 1 deletion(-)
create mode 100644 lang/en_utf8/help/rolerenaming.html
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 @@
+<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 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';
--
2.39.5