I’m not aware of any solution that currently allows to parse HTML and PHP at the same time, since one will consider the other invalid.
If you know of a formatter that can perform this task, please let me know.
As the PHP field specifically states support for PHP, I don’t believe this can be considered a bug.
Understood and agreed. Mixed content is not really required in most cases anyway and should ideally be separated. In this case it was just a messy API integration and we ended up separating it anyway.