Fix isset($string[$k]) and empty($string[$k]) to match PHP 5.5
tree5fae7faf75d6fdcc4c53e398ae87ddead5ad2382
-rw-r--r-- 1540 .gitignore
-rw-r--r-- 302 .travis.yml
drwxr-xr-x - CMake
-rw-r--r-- 1005 CMakeLists.txt
-rw-r--r-- 3218 LICENSE.PHP
-rw-r--r-- 2815 LICENSE.ZEND
-rw-r--r-- 2115 README.md
drwxr-xr-x - bin
-rwxr-xr-x 240 configure
-rwxr-xr-x 2005 configure_ubuntu_12.04.sh
drwxr-xr-x - hphp