获取系统的高精度时间，还是有点点限制的！

hrtime(true);

如下：

128817029472663
128817029474711
128817029476773
128817029478813
128817029480874

https://www.php.net/manual/zh/function.hrtime.php

1、第一步

$ which php
$ vim ~/.bash_profile

2、第二步

$ export PATH=/Applications/MAMP/bin/php/php7.2.7/bin:$PATH
$ #/Applications/MAMP/bin/php/php7.2.7/bin是我的php版本路径

3、第三步

$ source ~/.bash_profile

4、第四步

$ php -v

如果以上步骤仍然没有改变PHP的版本，再执行以下：

1、vim ~/.zshrc
2、source~/.bash_profile