为什么PhpStorm 2017.3.3（macOS）命令行工具控制台错误地报告（和使用）我的php版本

Question

从各种上下文运行命令php -v时，我得到以下输出：

终端

PHP 7.1.13 (cli) (built: Jan  5 2018 15:30:29) ( NTS )
Copyright (c) 1997-2017 The PHP Group
Zend Engine v3.1.0, Copyright (c) 1998-2017 Zend Technologies

PhpStorm命令行工具控制台

PHP 5.6.30 (cli) (built: Oct 29 2017 20:30:32) 
Copyright (c) 1997-2016 The PHP Group
Zend Engine v2.6.0, Copyright (c) 1998-2016 Zend Technologies

正确设置了PhpStorm中的CLI解释器设置

我已验证路径是否正确。

/ usr / local / bin

的相关内容

命令which php返回/usr/local/bin/php

lrwxr-xr-x    1 ben   admin    33 17 Jan 15:08 php -> ../Cellar/php71/7.1.13_24/bin/php
lrwxr-xr-x    1 ben   admin    37 17 Jan 15:08 php-cgi -> ../Cellar/php71/7.1.13_24/bin/php-cgi
lrwxr-xr-x    1 ben   admin    40 17 Jan 15:08 php-config -> ../Cellar/php71/7.1.13_24/bin/php-config

我可能会遗失什么？

修改的

操作系统路径变量

echo $SHELL
/bin/bash

echo $PATH
/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/mysql-5.7.20-macos10.12-x86_64/bin:/usr/local/mysql-5.7.20-macos10.12-x86_64/support-files:/usr/local/opt/php71/bin:/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/mysql-5.7.20-macos10.12-x86_64/bin:/usr/local/mysql-5.7.20-macos10.12-x86_64/support-files

PhpStorm命令行工具控制台路径变量

echo $SHELL
$SHELL

echo $PATH
$PATH

（不是我对后者所期望的结果）