The official MediaWiki PHP bot framework