Add php specific coloring
Fix php number coloring