private pokes - perhaps a little *too* private.

1 files changed, 7 insertions, 7 deletions

diff --git a/doc/html/navtreeindex3.js b/doc/html/navtreeindex3.js
index 2867a6a79..795c1fe0a 100644
--- a/doc/html/navtreeindex3.js
+++ b/doc/html/navtreeindex3.js
@@ -1,5 +1,11 @@
 var NAVTREEINDEX3 =
 {
+"dir__fns_8php.html":[5,0,0,23],
+"dir__fns_8php.html#a6cae22cfdd6edda5ddf09e07abb3242a":[5,0,0,23,2],
+"dir__fns_8php.html#a8c15aa69da12f2d3476b9e93b82b337d":[5,0,0,23,0],
+"dir__fns_8php.html#aa666e7df6ca8c332f4081c9b66b4bdf6":[5,0,0,23,1],
+"dir_aae29906d7bfc07d076125f669c8352e.html":[5,0,0,1],
+"dir_b2f003339c516cc00c8cadcafbe82f13.html":[5,0,3],
 "dir_d41ce877eb409a4791b288730010abe2.html":[5,0,1],
 "dir_d44c64559bbebec7f509842c48db8b23.html":[5,0,0],
 "dir_d795dfe8933002397556cc7aa16eca15.html":[5,0,3,1,1],
@@ -243,11 +249,5 @@ var NAVTREEINDEX3 =
 "include_2api_8php.html#a8b25a186bd0893f51aa72a62f655735e":[5,0,0,5,39],
 "include_2api_8php.html#a9160288b7ac220635942d8dc209b78c3":[5,0,0,5,10],
 "include_2api_8php.html#a970b02c06dea8b229aa3d5fff9cf4705":[5,0,0,5,8],
-"include_2api_8php.html#aa0d6b29fff0344a8e67f3507a6d01410":[5,0,0,5,34],
-"include_2api_8php.html#aa1bddb580510e70cc1a7b7381667f1a3":[5,0,0,5,28],
-"include_2api_8php.html#aa40bae797bcd9ccacffdce5a3b5a1afa":[5,0,0,5,23],
-"include_2api_8php.html#aa49741342ad8ba285737eea1209a37e1":[5,0,0,5,25],
-"include_2api_8php.html#aa62b15a6bbb280e86b98132eb214013d":[5,0,0,5,51],
-"include_2api_8php.html#aa6fc3bc8c0fad1d081db0dcc456dd77f":[5,0,0,5,29],
-"include_2api_8php.html#aa9dc5350b26d6c7727d6c4b641ecba18":[5,0,0,5,3]
+"include_2api_8php.html#aa0d6b29fff0344a8e67f3507a6d01410":[5,0,0,5,34]
 };