User:Michael Johnson/monobook.js

// Script from User:MarkS/extraeditbuttons.js document.write(' ');