| changeset 183 | 91127e62f38f |
| parent 174 | 4c5c2b66a34d |
| child 187 | 9dbbec5e6096 |
| child 195 | eec079676fe7 |
| child 246 | c9fd175289aa |
| 176:1bc7e849a264 | 183:91127e62f38f |
|---|---|
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']; |