--- /dev/null
+var php__raphf_8h_structphp__persistent__handle__factory_8ident =
+[
+ [ "len", "php__raphf_8h.html#af5a8e923f8cd24b56b3bab32358cc58a", null ],
+ [ "str", "php__raphf_8h.html#a341be97d9aff90c9978347f66f945b77", null ]
+];
\ No newline at end of file