| changeset 103 | a8891e108c95 |
| parent 97 | 293148ad7a70 |
| child 116 | 77c75179bb95 |
| 102:d807dcd7aed7 | 103:a8891e108c95 |
|---|---|
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 = false; |
18 $aggressive_optimize_html = true; |
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']; |