Small problem in the PHP highlighter - how to fix?

Hi,

Quick steps to reproduce this issue: Open the SDI sample app, change the language to PHP and paste the following lines: Now select Tools -> Highlighting style editor. For "Comment Default", change the background to a color that can actually be seen, e.g. blue. You will now see that the empty line between the two comment lines gets the same background color, but this is actually a bug, since // means singleline comments. This seems to work just fine with the C# highlighter, but I can't seem to figure out what makes the difference. What can I change to make this work properly with PHP? :)