If you have a string with a numerous double quotes,
in PHP you can do this:
file.WriteLine(\'
I would recommend avoiding some bizarre way like this:
const char doubleQuote = '"'; Console.WriteLine("", doubleQuote);