On Sep 17, 2010, at 2:12 PM, Karel Bílek wrote:
I don't know if it's the "official" way, but when I do this, I set the "document type" from PHP to HTML.
The official way is to always use the HTML grammar when working in PHP and never the PHP grammar directly, so I think you're OK. :)