update php-mode