MediaWiki:Zumi.js: Unterschied zwischen den Versionen
Aus Klexikon – das Kinderlexikon
KKeine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
/* | |||
if ( mw.config.get( 'wgUserGroups', [] ).indexOf( 'user' ) !== -1 ) { | if ( mw.config.get( 'wgUserGroups', [] ).indexOf( 'user' ) !== -1 ) { | ||
setTimeout(function(){ document.getElementById('mitmachseiten').firstChild.click(); }, 500); | setTimeout(function(){ document.getElementById('mitmachseiten').firstChild.click(); }, 500); | ||
} | } | ||
*/ | |||
