generate_lang_file.php : fix to handle double-quotes in PHP output