Don't defer updating position-limit inside php_map()
tree07233e78f0f5b21e279229407117eb8f40421b1c
-rw-r--r-- 1341 .gitignore
-rw-r--r-- 98 .gitmodules
drwxr-xr-x - CMake
-rw-r--r-- 2349 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