| changeset 207 | 861807631f70 |
| parent 187 | 9dbbec5e6096 |
| child 213 | 1316404e4ea8 |
| 203:8e2fffc5c622 | 207:861807631f70 |
|---|---|
13 * |
13 * |
14 */ |
14 */ |
15 |
15 |
16 // Set up gzip encoding before any output is sent |
16 // Set up gzip encoding before any output is sent |
17 |
17 |
18 $aggressive_optimize_html = true; |
18 $aggressive_optimize_html = false; |
19 |
19 |
20 global $do_gzip; |
20 global $do_gzip; |
21 $do_gzip = true; |
21 $do_gzip = true; |
22 |
22 |
23 if(isset($_SERVER['PATH_INFO'])) $v = $_SERVER['PATH_INFO']; |
23 if(isset($_SERVER['PATH_INFO'])) $v = $_SERVER['PATH_INFO']; |