[configinfo] Add BANNER_TIMEOUT to flag_table and doc-git/
-rw-r--r-- 1535 bottom.php
-rw-r--r-- 3439 build.php
-rw-r--r-- 14176 configinfo.php
drwxr-xr-x - doc-git
-rw-r--r-- 6871 flag_table.php
-rw-r--r-- 2155 flags.php
-rw-r--r-- 2031 index.php
-rw-r--r-- 0 local-config.php
-rw-r--r-- 374 top.php