--- /dev/null
+var php__propro_8h =
+[
+ [ "PHP_PROPRO_API", "php__propro_8h.html#a2f9402fc8e099586c92779877100bcf5", null ],
+ [ "PHP_PROPRO_PTR", "php__propro_8h.html#ac8d6cffe226ac1780ce3f8eb68c0f08c", null ],
+ [ "PHP_PROPRO_VERSION", "php__propro_8h.html#adcf6a4b073e6a50ac89dda4c0e00de6f", null ],
+ [ "phpext_propro_ptr", "php__propro_8h.html#a527bb084ce530a3b41b98f4258c331fb", null ],
+ [ "propro_module_entry", "php__propro_8h.html#a6f4859e8fe95ac4b9f3aac838590b32b", null ]
+];
\ No newline at end of file