* nickvergessen/ticket/10253: [ticket/10253] Fix IE9 handling in javascript, to correctly quote text.