escape chars lost

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Try adding some php code that has escape (\) characters in it.

What is the expected output? What do you see instead?
<?php
echo "Carlos said \"loving this script\"";
?>
renders as:
<?php
echo "Carlos said "loving this script"";
?>

What version of the product are you using? On what operating system?
1.5.1

Please provide any additional information below.

Original issue reported on code.google.com by ccodl...@gmail.com on 13 Feb 2008 at 5:40

[GoogleCodeExporter]

Sorry, ignore this issue. I was using the php stripslashes function to output 
the
data to my page and that was causing the problem.

Original comment by ccodl...@gmail.com on 14 Feb 2008 at 6:57