Author: bugs
Description:
When $wgSharedDB is set, updating to 1.9.0 leaves the user table out.
update.php complains:
PHP Notice: Undefined variable: doShared in
/home/public/www/mediawiki-jr/maintenance/updaters.inc on line 843
In updaters.inc, changing line 843 to:
$doUser = !$wgSharedDB || $shared;
fixes the problem.
Version: 1.9.x
Severity: normal