Upgrade php-mode.el