MediaWiki:Common.js: Difference between revisions
Created page with "→Any JavaScript here will be loaded for all users on every page load.: // Hide the Tools menu for non-logged-in users if (mw.config.get('wgUserName') === null) { document.getElementById('p-tb').style.display = 'none'; }" |
(No difference)
|
Revision as of 03:36, 26 August 2024
/* Any JavaScript here will be loaded for all users on every page load. */
// Hide the Tools menu for non-logged-in users
if (mw.config.get('wgUserName') === null) {
document.getElementById('p-tb').style.display = 'none';
}