Make verify.py more reliable
tree6b4ec1ef777093751bb6106a7388525bc5c9ce40
-rw-r--r-- 1341 .gitignore
-rw-r--r-- 98 .gitmodules
drwxr-xr-x - CMake
-rw-r--r-- 2147 CMakeLists.txt
-rw-r--r-- 3228 CONTRIBUTING.md
-rw-r--r-- 3204 LICENSE.PHP
-rw-r--r-- 2803 LICENSE.ZEND
-rw-r--r-- 87420 NEWS
-rw-r--r-- 3242 README.md
-rwxr-xr-x 642 configure
drwxr-xr-x - hphp
m--------- - third-party