+++ /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