Remove marking of built in functions and constants in PHP highlighter - it is inconsistent across servers and may to too long patterns