看文件名是7月16号更新的。接下来的要用到zend studio,网上找不到破解,只能自力更生了。先试用下稳定性,感觉没更新什么。 com.zend.php.core_10.1.0.201307161205.jar