ryoakg
3/5/2017 - 1:34 AM

http-header-content-encoding-gzip.php

<?php
if (PHP_SAPI === 'cli') {
    echo <<<EOU
Usage:
  1. run: php -S localhost:8080 {$argv[0]}"
  2. browse http://localhost:8080/
     or
     - curl --verbose 'http://localhost:8080/'
     - curl --verbose -H 'Accept-Encoding: gzip' 'http://localhost:8080/'
     - curl -s -H 'Accept-Encoding: gzip' 'http://localhost:8080/' | gunzip

EOU;
  exit;
}

$output = 'abcde';
$accept_encoding = @getallheaders()['Accept-Encoding'];
if ($accept_encoding && preg_match('/ *gzip *,?/', $accept_encoding)){
    header('Content-Type: text/plain');
    header('Content-Encoding: gzip');
    echo gzencode($output);
} else {
    header('Content-Type: text/plain');
    echo $output;
}