Use PHP highlight