initial doco

doc/html/extract_8php.js

@@ -0,0 +1,7 @@
+var extract_8php =
+[
+    [ "$arr", "extract_8php.html#a63bb4c41bc532baacf6a4976cfaa0feb", null ],
+    [ "$files", "extract_8php.html#a9590b15215a21e9b42eb546aeef79704", null ],
+    [ "$s", "extract_8php.html#a50b05cf2e02ef0b67fcad97106dd7634", null ],
+    [ "$zones", "extract_8php.html#a0cbe524ffc9a496114fd7ba9f423ef44", null ]
+];