--- /dev/null
+var php__raphf__api_8h_structphp__persistent__handle__list =
+[
+ [ "free", "php__raphf__api_8h.html#a653a4a0e9c39ad942e9573e197f62974", null ],
+ [ "used", "php__raphf__api_8h.html#a119a44fd9f5ae066b6d77e7a35a25cd0", null ]
+];
\ No newline at end of file