https://bugzilla.wikimedia.org/show_bug.cgi?id=24739
--- Comment #4 from Nux <[email protected]> --- It's not possible to do this with a gadget (at least not possible to do this nicely), because it's not possible to run JavaScript before the page is rendered (IIRC not possible after 1.17). Besides I think this should be available for all users of all wikis. Yes, there are people that know how to use their browser as a tool, but most people don't know about it's existence and so don't know about it's functions. Thats probably because most browsers hide their UI more and more (IE 10 on Win8 even hides it completely). -- You are receiving this mail because: You are the assignee for the bug. You are watching all bug changes. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
