Fix php number coloring