MediaWiki API-watching IRC bot