change php-mode setting.