User:MarkS/Extra edit buttons/dev2.js