User:Robnock/monobook.js

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