--- /dev/null
+var php__raphf__api_8h_structphp__persistent__handle__provider =
+[
+ [ "list", "php__raphf__api_8h.html#a4935f6446b1d4a2feb7a22dfc4e5d6d0", null ],
+ [ "rf", "php__raphf__api_8h.html#a8204714f100b74b028652951ca40abd3", null ]
+];
\ No newline at end of file