Creating MediaWiki bots in PHP