MediaWiki:Gadgets-definition

site[ResourceLoader|default|top|dependencies=mediawiki.legacy.wikibits,mediawiki.util,jquery.mwExtension,ext.gadget.enwp-boxes]|site.js|site.css|NavFrame.js|NavFrame.css collapsibleTables[ResourceLoader|default]|collapsibleTables.js Edittop[ResourceLoader]|edittop.js UTCLiveClock[ResourceLoader]|UTCLiveClock.js rtrc[ResourceLoader]|rtrc.css|rtrc.js ajaxrecentchanges|ajaxrecentchanges.js Navigation_popups[ResourceLoader]|popups.js|navpop.css CodeReview_checkedRevsExport[ResourceLoader]|CodeReview_checkedRevsExport.js contribsrange|contribsrange.js Numerakri[ResourceLoader|dependencies=jquery.cookie, mediawiki.util, mediawiki.user]|Numerakri.css|Numerakri.js externalsearch[ResourceLoader]|externalsearch.js externalsearch-bar[ResourceLoader]|externalsearch-bar.js vector-headanchor[ResourceLoader]|vector-headanchor.js|vector-headanchor.css