User "^demon" changed the status of MediaWiki.r104257. Old Status: new New Status: ok
Full URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/104257 Commit summary: PHP Notice: Undefined index: USER in /home/wikipedia/common/php-1.18/maintenance/Maintenance.php on line 926 _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
