MediaWiki:Common.js

/* Any JavaScript here will be loaded for all users on every page load. */

$(function() {
	managePersonalIconVis();
});

function managePersonalIconVis(){
  if (mw.config.get('wgUserName') !== null) {
	const personal = document.getElementById('p-personal');
	document.querySelector('#pane4').appendChild(personal);
  } else {
	const personalIcon = document.querySelector('personal-tools-icon');
	if (personalIcon) {
		personalIcon.remove();
	}
  }
}