Unnamed

<?php

$file = 'edit-temp.html';
$new_file = 'edit-temp1.html';

ob_start('ob_gzhandler');
echo file_get_contents($file);
$buffer = ob_get_contents();

file_put_contents($new_file, $buffer);
header('location: ' . $new_file);
?>