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