Search results

Enabling of gadgets
changes at real time. The gadget SyntaxHighligher adds colors to syntax when editing a page. The gadget HotCat adds convenient boxes to edit categories. Some

490 bytes (75 words) - 09:12, 17 August 2015
MediaWiki:Gadget-HotCat.js
armorUri(is_missing ? HotCat.existsNo : HotCat.existsYes); } if (is_missing) return; if (!is_redir && cats && (HotCat.disambig_category || HotCat.redir_category))

120 KB (14,873 words) - 16:13, 16 August 2015
MediaWiki:Gadgets-definition (section interface-gadgets)
DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js HotCat[ResourceLoader]|HotCat.js workinprogress[ResourceLoader]|workinprogress.js enwp-box

454 bytes (38 words) - 13:16, 8 January 2024