MediaWiki:Gadget-checkboxList.js

// if ($("ul.checklist, div.checklist > ul").length) { mw.loader.load( 'ext.gadget.checkboxList-core' ); }