Comment #2 on issue 1701 by trowbrds: Punctuation characters highlighted
with red border in .inc files containing PHP
We don't do any kind of detection. Pygments has this capability but we've
turned it off because it's extremely slow.
Because that detection would fix this, I'm going to call this the same as
You received this message because you are subscribed to the Google Groups
To post to this group, send email to reviewboard-iss...@googlegroups.com.
To unsubscribe from this group, send email to
For more options, visit this group at