Merged requested to merge wiesinger/syntax-highlighting:php-indent into master
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