Fix variable highlighting in "PHP" style