Extension:Auth remoteuser

There are several sites using this extension, but proceed at your own risk! 

mediawiki 1.9.4
Great extension. We have a central web-authentication server so this is really useful.

To get this extension to work with mediawiki 1.9.4 I made a couple of horrid hacks because of this error:

Internal error

&lt;password-change-forbidden&gt;

Backtrace:


 * 1) 0 /var/www/default/mediawiki-1.9.4/includes/User.php(1332): User::setPassword
 * 2) 1 /var/www/default/mediawiki-1.9.4/includes/SpecialUserlogin.php(311): User->setPassword('')
 * 3) 2 /var/www/default/mediawiki-1.9.4/includes/SpecialUserlogin.php(352): LoginForm->initUser(Object(User))
 * 4) 3 /var/www/default/mediawiki-1.9.4/extensions/Auth_remoteuser.php(77): LoginForm->authenticateUserData
 * 5) 4 /var/www/default/mediawiki-1.9.4/includes/Setup.php(219): Auth_remote_user_hook
 * 6) 5 /var/www/default/mediawiki-1.9.4/includes/Setup.php(219): call_user_func('Auth_remote_use...')
 * 7) 6 /var/www/default/mediawiki-1.9.4/includes/WebStart.php(90): require_once('/var/www/defaul...')
 * 8) 7 /var/www/default/mediawiki-1.9.4/index.php(4): require_once('/var/www/defaul...')
 * 9) 8 {main}

The horrid hacks: Line 111 of ./extensions/Auth_remoteuser.php change the false from: function allowPasswordChange { return false; } to: function allowPasswordChange { return true; }

Same for line 124: function setPassword($user, $password) { return false; } to: function setPassword($user, $password) { return true; }