Martin Aeschlimann be2b6bd127 HTML Comments Not Colour Coded when there is a <?php> in the script tag. Fixes #28354		2017-06-19 11:56:33 +02:00
..
issue-28354.php	HTML Comments Not Colour Coded when there is a <?php> in the script tag. Fixes #28354	2017-06-19 11:56:33 +02:00
test.php