Difference between revisions of "MediaWiki:Common.js"
| Line 5: | Line 5: | ||
var el = document.getElementById('mw-content-text'); | var el = document.getElementById('mw-content-text'); | ||
| − | if(mw.config.values.wgUserId | + | if(!mw.config.values.wgUserId){ |
el.children[0].style.display = 'none'; | el.children[0].style.display = 'none'; | ||
Revision as of 16:18, 23 October 2017
/* Any JavaScript here will be loaded for all users on every page load. */
function disableDivTranslation() {
var el = document.getElementById('mw-content-text');
if(!mw.config.values.wgUserId){
el.children[0].style.display = 'none';
} else {
el.children[0].style.display = 'block';
}
}
disableDivTranslation();
