如题，PHP7.0.3出来了，想自己修改一下，但查了脚本，只有$php_7_version这个变量来控制的，但找不到赋值的地方，还请各位大虾指教。