Pull in latest version of php-mode

It fixes a bug I reported.