A MediaWiki CLI bot in PHP