diff --git a/admin/roles/manage.html b/admin/roles/manage.html index eb5475c95a6..c9b0189c59a 100755 --- a/admin/roles/manage.html +++ b/admin/roles/manage.html @@ -12,29 +12,9 @@ $submitlabel = get_string('savechanges'); } ?> - - - - - - - +
: - - -
- - -
- - - -
-
@@ -74,7 +54,7 @@ -
+
diff --git a/admin/roles/manage.php b/admin/roles/manage.php index 8e42874baf9..59c96755f73 100755 --- a/admin/roles/manage.php +++ b/admin/roles/manage.php @@ -287,6 +287,22 @@ print_heading(get_string('editrole', 'role')); break; } + + echo '
'; + if ($action == 'view') { + echo get_string('selectrole', 'role').': '; + echo ''; + echo ''; + choose_from_menu ($roleoptions, 'roleid', $roleid, get_string('listallroles', 'role').'...', $script='switchrole.submit()'); + echo ''; + echo '
'; + echo ''; + echo ''; + echo ''; + echo ''; + } + echo '
'; + print_simple_box_start('center'); include_once('manage.html'); print_simple_box_end();