A mediawiki bot framework written in PHP