Double click the title to change its text
Das sind Skriptversionen, bei denen der Quelltext aktualisiert wurde. Alle Versionen anzeigen.
Rewrite to much simpler prompt() approach, for not to have to deal with any workarounds whatsoever.
workaround for https://bugzilla.mozilla.org/show_bug.cgi?id=1291467
