Skip to content

Use cstyle indenter for PHP (HTML)

php.xml defines the indenter as cstyle, but when generating the combined syntax files for PHP, the base info is taken from the source language files. In the case of HTML, html.xml doesn't have an indenter defined, and PHP (HTML) therefore ends up with the default indenter.

This adds the cstyle indenter also to PHP (HTML), albeit hardcoded. I'm afraid my regex-fu is not strong enough to extract that from php.xml :-(

Merge request reports