Maybe it's better to use multiple highlighters. Maybe a line in the Html syntax file that loads the PHP syntax as well. Whenever a <?php is encountered the PHP syntax kicks in, and when the > is encountered the HTML syntax is used again. Just a thought.
