Add support for registering and using an externally supplied Profiler,
tree3cb4bcdb5c69de9ab37f1a20af8574ce6f23710d
-rw-r--r-- 1294 .gitignore
-rw-r--r-- 98 .gitmodules
-rw-r--r-- 5511 .travis.yml
drwxr-xr-x - CMake
-rw-r--r-- 1501 CMakeLists.txt
-rw-r--r-- 2226 CONTRIBUTING.md
-rw-r--r-- 3204 LICENSE.PHP
-rw-r--r-- 2803 LICENSE.ZEND
-rw-r--r-- 2548 README.md
-rwxr-xr-x 634 configure
-rwxr-xr-x 6650 configure_generic.sh
drwxr-xr-x - hphp
m--------- - third-party