| changeset 15 | ad5986a53197 |
| parent 8 | 4bb20dddef00 |
| child 16 | 64e0d3d4cf14 |
| 14:ce6053bb48d8 | 15:ad5986a53197 |
|---|---|
12 * |
12 * |
13 */ |
13 */ |
14 |
14 |
15 // Set up gzip encoding before any output is sent |
15 // Set up gzip encoding before any output is sent |
16 |
16 |
17 $aggressive_optimize_html = true; |
17 $aggressive_optimize_html = false; |
18 |
18 |
19 global $do_gzip; |
19 global $do_gzip; |
20 $do_gzip = false; |
20 $do_gzip = false; |
21 |
21 |
22 if(isset($_SERVER['PATH_INFO'])) $v = $_SERVER['PATH_INFO']; |
22 if(isset($_SERVER['PATH_INFO'])) $v = $_SERVER['PATH_INFO']; |