MDL-6985 Role Short name cannot be modified; merged from MOODLE_17_STABLE

diff --git a/admin/roles/manage.php b/admin/roles/manage.php
index ecb47e001480a3a7b285b118d7c69a5f51f41121..a589cb912875dc1ac1d702836f68eb094fb07e87 100755 (executable)
--- a/admin/roles/manage.php
+++ b/admin/roles/manage.php
@@ -171,6 +171,7 @@
                     // update normal role settings
                     $role->id = $roleid;
                     $role->name = $name;
+                    $role->shortname = $shortname;
                     $role->description = $description;
 
                     if (!update_record('role', $role)) {