MediaWiki:Common.js: Difference between revisions
No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
} | } | ||
if (mw.config.get('wgUserName') === null) { | if (mw.config.get('wgUserName') === null) { | ||
var | var viewSourceItem = document.getElementById('page-actions-viewsource'); | ||
if ( | if (viewSourceItem) { | ||
viewSourceItem.style.display = 'none'; | |||
} | } | ||
} | } | ||
Latest revision as of 01:52, 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 viewSourceItem = document.getElementById('page-actions-viewsource');
if (viewSourceItem) {
viewSourceItem.style.display = 'none';
}
}