(Die Seite wurde neu angelegt: „→Das folgende JavaScript wird für alle Benutzer geladen.: →Wworkaround: Die Seite Letzte Änderungen wird nicht komplett geladen: if ( mw.config.get(…“) |
(kein Unterschied)
|
Aktuelle Version vom 15. Mai 2023, 14:57 Uhr
/* Das folgende JavaScript wird für alle Benutzer geladen. */
/* Wworkaround: Die Seite Letzte Änderungen wird nicht komplett geladen */
if ( mw.config.get( 'wgCanonicalSpecialPageName' ) === 'Watchlist' ) {
document.body.classList.add( 'mw-rcfilters-ui-initialized' );
}
if ( mw.config.get( 'wgCanonicalSpecialPageName' ) === 'Recentchanges' ) {
document.body.classList.add( 'mw-rcfilters-ui-initialized' );
}