highlight just a bit more for php