MediaWiki:AjaxBatchDelete.js

//