settings for flymake-php.