MediaWiki extension to delete pages history