enhance the configuration of php-mode