MediaWiki:Common.js

/* Any JavaScript here will be loaded for all users on every page load. */
document.addEventListener("DOMContentLoaded", function () {
    var userGroups = mw.config.get('wgUserGroups');

    // If the user is NOT an admin, hide the page tools and wiki tools
    if (userGroups.indexOf('sysop') === -1) {
        var pageTools = document.getElementById('page-tools');
        if (pageTools) {
            pageTools.style.display = 'none';
        }

        var wikiTools = document.getElementById('p-tb');
        if (wikiTools) {
            wikiTools.style.display = 'none';
        }
    }
});