I'd like to know if it would be possible to have the edit token available on any
page (not only when editing)? I know I could probably get this through AJAX
scripting but that's the the best way I think.
On Polish Wikipedia we have a script for reporting bugs and it currently uses
the Tool Server and a bot to add reports. If the edit token would be available,
the form created through JS could simply add a new section (submitting changes
with one click) and the bot would be used only to pass info about these changes
to an IRC channel (as it does now).
Version: unspecified
Severity: normal