User:Davidjcobb/standard.js

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