\n";
    print ' * '."\n";
    print ' * Turn on "short_open_tag" in php.ini'."\n";
    print ' * '."\n";
    exit;
} else {
    unset ($short_open_tag);
}
?>