User:Alex brollo/PersonalButtons

Personal script, used by User:Alex brollo/PersonalTools.js; it adds buttons to a personal tools bar (fixed at page bottom).