Fix PHP5 ZTS compatibility
tree5a07ff0c8ea3fbb261f3e4d0e4053841e824e3b5
-rw-r--r-- 53 .gitignore
-rw-r--r-- 2414 .travis.yml
-rw-r--r-- 908 README
-rw-r--r-- 1835 Vagrantfile
-rwxr-xr-x 21726 bootstrap
drwxr-xr-x - config
drwxr-xr-x - patches
drwxr-xr-x - xapian-applications
drwxr-xr-x - xapian-bindings
drwxr-xr-x - xapian-core
drwxr-xr-x - xapian-data
drwxr-xr-x - xapian-letor
drwxr-xr-x - xapian-maintainer-tools