--- /dev/null
+<map id="php_resource_factory_dtor" name="php_resource_factory_dtor">
+<area shape="rect" id="node2" href="$php__raphf__api_8h.html#a3cbbe29c8a4ed9858c921c8ee539de59" title="Register a persistent handle provider in MINIT. " alt="" coords="241,5,393,47"/>
+<area shape="rect" id="node3" href="$php__raphf__api_8h.html#a7f012d685f5f7c08f50288b61232e689" title="Destroy and free the resource factory. " alt="" coords="229,71,405,98"/>
+</map>