MediaWiki:Gadget-pers-menu-show.js

// show personal menu all the time (i.e. do not hide the menu) document.cookie = "ws_persmenu=1";