edit php-mode config