edit php-mode.