Adding support for fake PHP tags; e.g. <!php !>.