Translations:Manual:$wgDefaultUserOptions/147/en

gadget-$gname e.g. gadget-HotCat for MediaWiki:Gadget-HotCat.js