Searched refs:webserver_opts (Results 1 – 4 of 4) sorted by relevance
127 $webserver_opts = array("use_gzip", "autorefresh_time"); variable144 foreach ($webserver_opts as $i) {
127 $webserver_opts = array("use_gzip", "autorefresh_time");144 foreach ($webserver_opts as $i) {