User:Omegatron/monobook.js/edittop.js

This is now implemented in User:Preferences as a gadget.