fixing highlighting issue for PHP