index.php
changeset 81 d7fc25acd3f3
parent 80 cb7dde69c301
child 86 c162ca39db8f
equal deleted inserted replaced
80:cb7dde69c301 81:d7fc25acd3f3
    11  * This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied
    11  * This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied
    12  * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for details.
    12  * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for details.
    13  *
    13  *
    14  */
    14  */
    15 
    15 
    16   // Se t 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 = true;
    19   
    19   
    20   global $do_gzip;
    20   global $do_gzip;
    21   $do_gzip = true;
    21   $do_gzip = true;