更新php-mode