MediaWiki:Common.js: Unterschied zwischen den Versionen

Aktuelle Version vom 2. April 2025, 13:46 Uhr

/* Das folgende JavaScript wird für alle Benutzer geladen. */
// Check if the user is logged in or logged out
if (mw.config.get('wgUserName')) {
    // User is logged in
    var portals = document.querySelectorAll('div.portal');
    portals.forEach(function(portal) {
        portal.style.display = 'block'; // Show the menu
    });
} else {
    // User is logged out
    var portals = document.querySelectorAll('div.portal');
    portals.forEach(function(portal) {
        portal.style.display = 'none'; // Hide the menu
    });
}