Update mediawiki-bot.php