update php-mode.