Mark special variables in PHP highlighter