add php-mode setting