upate php-mode