Wiktionary

MediaWiki:Gadget-HotCat.js/local defaults

< MediaWiki:Gadget-HotCat.js

//

HotCat.capitalizePageNames = false;

//
Retrieved from "https://en.wiktionary.org/w/index.php?title=MediaWiki:Gadget-HotCat.js/local_defaults&oldid=10913111"