Group operators in PHP highlighter