Update php-mode-modified