UI for admin to change authentication method for given user

diff --git a/user/edit.html b/user/edit.html
index 4a64b1a340b61089526f742709bd92a6c44c3c1f..0f4af6d61bc5d0f1f96b5432266b344c29ae5409 100644 (file)
--- a/user/edit.html
+++ b/user/edit.html
@@ -34,6 +34,15 @@ if (isadmin()) {
     echo " </td>";
     echo "</tr>\n";
 
+    $modules = get_list_of_plugins("auth");
+    foreach ($modules as $module) {
+        $auth_options[$module] = get_string("auth_$module"."title", "auth");
+    } 
+    echo '<tr valign="top">';
+    echo '<td align="right">' . get_string("chooseauthmethod","auth") . ':</td>' . "\n<td>";
+    choose_from_menu ($auth_options, "auth",$user->auth);
+    echo "</td></tr>\n";
+
     if ($adminself || is_internal_auth($user->auth) ){
         echo "<tr valign=\"top\">";
         echo "<td align=\"right\"> ".get_string("newpassword").": </td>";