index.php
changeset 334 c72b545f1304
parent 326 ab66d6d1f1f4
child 337 491518997ae5
equal deleted inserted replaced
333:32429702305e 334:c72b545f1304
    18  
    18  
    19   define('ENANO_INTERFACE_INDEX', '');
    19   define('ENANO_INTERFACE_INDEX', '');
    20  
    20  
    21   // Set up gzip encoding before any output is sent
    21   // Set up gzip encoding before any output is sent
    22   
    22   
    23   $aggressive_optimize_html = false;
    23   $aggressive_optimize_html = true;
    24   
    24   
    25   global $do_gzip;
    25   global $do_gzip;
    26   $do_gzip = false;
    26   $do_gzip = true;
    27   
    27   
    28   if(isset($_SERVER['PATH_INFO'])) $v = $_SERVER['PATH_INFO'];
    28   if(isset($_SERVER['PATH_INFO'])) $v = $_SERVER['PATH_INFO'];
    29   elseif(isset($_GET['title'])) $v = $_GET['title'];
    29   elseif(isset($_GET['title'])) $v = $_GET['title'];
    30   else $v = '';
    30   else $v = '';
    31   
    31