Add php specific coloring