MediaWiki:Gadget-HotCat.js/local defaults: Unterschied zwischen den Versionen
MediaWiki:Gadget-HotCat.js/local defaults (Quelltext anzeigen)
Version vom 15. Oktober 2011, 23:02 Uhr
, vor 14 Jahrencoding style
K (Preparing for update of hotcat) |
(coding style) |
||
| Zeile 1: | Zeile 1: | ||
// <source lang="javascript"> | // <source lang="javascript"> | ||
if (typeof (HotCat) != 'undefined') { | if ( typeof( HotCat ) != 'undefined' ) { | ||
HotCat.uncat_regexp = null; | |||
HotCat.single_minor = true; | |||
HotCat.use_up_down = false; | |||
HotCat.upload_disabled = false; | |||
HotCat.redir_category = null; | |||
HotCat.disambig_category = null; | |||
HotCat.messages.using = ' using [[w:Wikipedia:HotCat|HotCat]]'; | |||
} | } | ||
// </source> | // </source> | ||