if (wgUserName == null) {
  document.getElementById('left-navigation').innerHTML = "";
  document.getElementById('right-navigation').innerHTML = "";
}