fix pager, doc update

2013-06-03 16:29:33 -07:00
parent 8b87eee869
commit 6cafab10e6
60 changed files with 688 additions and 515 deletions
--- a/doc/html/php_2default_8php.js
+++ b/doc/html/php_2default_8php.js
@@ -1,4 +1,4 @@
 var php_2default_8php =
 [
-    [ "if", "php_2default_8php.html#a23bc1996b18e69c1a3ab44536613a762", null ]
+    [ "if", "php_2default_8php.html#a2a9b3d213aeeef28c4393ba8f7b408a4", null ]
 ];