Use double quotes when embeding translations in JS

Translations commonly include single quotes, which closes
the JavaScript string unexpectedly. Closes #5055