User:Gz260/menu vector.js

Note: After publishing, you may have to bypass your browser's cache to see the changes.

Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
Opera: Press Ctrl-F5.

/*addOnloadHook(function(){
if (skin=="vector"){
var l = document.getElementById('panel');
if (!l) return;
l.innerHTML = '<div class="portal" id="p-nbx">'
 + ' <h5>Page</h5>'
 + ' <div class="body">'
 + '   <ul>'
 + ' <li><a href="/wiki/' + wgPageName + '">Page</a></li>'
 + ' <li><a href="/w/index.php?title=' + wgPageName + '&amp;action=edit">Edit</a></li>'
 + ' <li><a href="/w/index.php?title=' + wgPageName + '&amp;action=history">History</a></li>'
 + '   </ul>'
 + ' </div>'
 + '</div> '
 + l.innerHTML;
}
});*/