--- /dev/null
+<map id="php_raphf.h" name="php_raphf.h">
+<area shape="rect" id="node2" href="$php__raphf__api_8c.html" title="src/php_raphf_api.c" alt="" coords="5,80,141,107"/>
+<area shape="rect" id="node3" href="$php__raphf__api_8h.html" title="src/php_raphf_api.h" alt="" coords="165,80,301,107"/>
+</map>