Don't allow admins to edit deleted users (bug #850578)

Change-Id: I94eb2837265d23b1458fafa6d129f92d5df88b63
Signed-off-by: Richard Mansfield <richard.mansfield@catalyst.net.nz>

htdocs/admin/users/edit.php

@@ -45,6 +45,13 @@ if (!$USER->is_admin_for_user($user)) {
     redirect('/user/view.php?id=' . $id);
 }
 
+if ($user->deleted) {
+    $smarty = smarty();
+    $smarty->assign('PAGEHEADING', TITLE . ': ' . display_name($user));
+    $smarty->assign('message', get_string('thisuserdeleted', 'admin'));
+    $smarty->display('message.tpl');
+    exit;
+}
 
 // Site-wide account settings
 $currentdate = getdate();

htdocs/lang/en.utf8/admin.php

@@ -629,6 +629,7 @@ $string['deleteusernote'] = 'Please note that this operation <strong>cannot be u
 $string['youcannotadministerthisuser'] = 'You cannot administer this user';
 $string['usernamechangenotallowed'] = 'The chosen authentication method does not allow changes to the username.';
 $string['passwordchangenotallowed'] = 'The chosen authentication method does not allow changes to the password.';
+$string['thisuserdeleted'] = 'This user has been deleted.';
 
 // Add User
 $string['adduser'] = 'Add User';