index.php
changeset 70 96fa8ded7698
parent 69 63638a42cee9
child 73 0a74676a2f2f
equal deleted inserted replaced
69:63638a42cee9 70:96fa8ded7698
     9  *
     9  *
    10  * This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied
    10  * This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied
    11  * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for details.
    11  * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for details.
    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 = false;
    17   $aggressive_optimize_html = false;
    18   
    18   
    19   global $do_gzip;
    19   global $do_gzip;