ejmr/php-mode — pull request #176 by syohex (2014-09-27 01:51:47+00:00)
Title: Do not highlight number

This is related to #175.
CC: @wyuenho