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();