add setting of php-mode