after brew install php71, why / usr/local/etc/php/7.1/php.ini configuration is disabled on many configurations, but it is actually enabled.
 refer to https://codeshelper.com/q/10.. The output of my php-- ini is as follows: 
 Configuration File (php.ini) Path: / etc 
 Loaded Configuration File: (none) 
 Scan for additional .ini files in: (none) 
 Additional .ini files parsed: (none) 
where is the configuration file?
there is another question, why not brew search php71-redis?
