MediaWiki:Gadget-AjaxBatchDelete.js

mw.loader.using('mediawiki.util').then(function {   importArticle({ type: 'script', article: 'u:dev:MediaWiki:AjaxBatchDelete.js' }); });