Upgraded php-mode to HEAD.