MediaWiki:ImportJS

dev:AjaxBatchDelete.js