X-Git-Url: https://git.m6w6.name/?a=blobdiff_plain;f=html%2Fannotated.html;fp=html%2Fannotated.html;h=0000000000000000000000000000000000000000;hb=2bc39f5c43ada90ec138c77406af2cb4205e7864;hp=1e773575a2da761dc1f6c96d18aeb0d1022defdd;hpb=81a621e4317ff8dca39d22e91e8a26d1d2cf89cc;p=m6w6%2Fext-raphf diff --git a/html/annotated.html b/html/annotated.html deleted file mode 100644 index 1e77357..0000000 --- a/html/annotated.html +++ /dev/null @@ -1,131 +0,0 @@ - - -
- - - -- |
- Resource and persistent handle factory API
-
- A facility to manage possibly persistent resources with a comprehensible API. Provides simliar functionality like the zend_list API, but with more flexiblity and freedom.
- |
-
php_persistent_handle_factory | Definition of a persistent handle factory |
php_persistent_handle_factory.ident | The ident for which this factory manages resources |
php_persistent_handle_list | Persistent handles storage |
php_persistent_handle_provider | Definition of a persistent handle provider |
php_resource_factory | The resource factory |
php_resource_factory_ops | The resource ops consisting of a ctor, a copy ctor and a dtor |