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 edit summary |
||
| Line 3: | Line 3: | ||
if (mw.config.get('wgUserName') === null) { | if (mw.config.get('wgUserName') === null) { | ||
document.getElementById('p-tb').style.display = 'none'; | document.getElementById('p-tb').style.display = 'none'; | ||
} | |||
if (mw.config.get('wgUserName') === null) { | |||
var viewSourceTab = document.getElementById('ca-viewsource'); | |||
if (viewSourceTab) { | |||
viewSourceTab.style.display = 'none'; | |||
} | |||
} | } | ||
Revision as of 01:43, 29 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';
}
if (mw.config.get('wgUserName') === null) {
var viewSourceTab = document.getElementById('ca-viewsource');
if (viewSourceTab) {
viewSourceTab.style.display = 'none';
}
}