User:Doberticus/monobook.js

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