HTML Comments Not Colour Coded when there is a <?php> in the script tag. Fixes #28354

This commit is contained in:
Martin Aeschlimann
2017-06-19 11:52:34 +02:00
parent 94af79ff01
commit be2b6bd127
6 changed files with 1521 additions and 505 deletions

File diff suppressed because one or more lines are too long