Re: [MediaWiki-l] Obvious bug in maintenance/Maintenance.php since 1.31