Double click the title to change its text
Ini adalah versi dari skrip ini yang kodenya telah diperbarui. Tampilkan semua versi.
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
