User:Omegatron/monobook.js/edittop.js Source: en.wikipedia.org/wiki/User:Omegatron/monobook.js/edittop.js

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