index.php
changeset 320 112debff64bd
parent 317 f8356d9c3481
child 322 5f1cd51bf1be
equal deleted inserted replaced
319:8be996c3740d 320:112debff64bd
    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 = true;
    23   $aggressive_optimize_html = false;
    24   
    24   
    25   global $do_gzip;
    25   global $do_gzip;
    26   $do_gzip = true;
    26   $do_gzip = false;
    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