Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
// See also [[MediaWiki:Monobook.js]]

/*
<pre>
*/

// [[User:Hippietrail/debugportlet.js]]

document.write('<script type="text/javascript" src="'
             + 'http://en.wiktionary.org/w/index.php?title=User:Hippietrail/debugportlet.js'
             + '&action=raw&ctype=text/javascript&dontcountme=s"></script>');

// [[User:Hippietrail/personalsidebar.js]]

document.write('<script type="text/javascript" src="'
             + 'http://en.wiktionary.org/w/index.php?title=User:Hippietrail/personalsidebar.js'
             + '&action=raw&ctype=text/javascript&dontcountme=s"></script>');

// add css and javascript links to personal toolbar
function addTools() {
  var myprefs = document.getElementById('pt-preferences');
  var newpt;
  var newa;

  newpt = document.createElement('li');
  newa = document.createElement('a');
  newa.href='/w/index.php?title=User:' + mw.config.get('wgUserName') + '/monobook.css&action=edit';
  newa.appendChild(document.createTextNode('css'));
  newpt.appendChild(newa);
  myprefs.parentNode.insertBefore(newpt, myprefs);

  newpt = document.createElement('li');
  newa = document.createElement('a');
  newa.href='/w/index.php?title=User:' + mw.config.get('wgUserName') + '/monobook.js&action=edit';
  newa.appendChild(document.createTextNode('js'));
  newpt.appendChild(newa);
  myprefs.parentNode.insertBefore(newpt, myprefs);
}

function customiseMyPage() {
//  someLink("User:Hippietrail"); // querytest
  addDebugPortlet();
  personalizeSidebar();
  addTools();
}

var is_macmsie = false;

// none of this seems to work on Mac Internet Explorer 5
if (navigator.appName == "Microsoft Internet Explorer" && navigator.appVersion.indexOf("­Mac") != -1) is_macmsie = true;

if (is_macmsie != true) {
  if (window.addEventListener) window.addEventListener("load",customiseMyPage,false);
  else if (window.attachEvent) window.attachEvent("onload",customiseMyPage);
}

/*
</pre>
*/