MediaWiki:Common.js

// Ajax Batch Delete importScriptPage('AjaxBatchDelete/code.js', 'dev');