+function get_encoding($header)
+{
+ $enc = "plain";
+ if (isset($header['Accept-Encoding'])) {
+ $acc = explode(',', $header['Accept-Encoding']);
+
+ if (array_search('gzip', $acc) !== FALSE) {
+ $enc = 'gzip';
+ }
+ else if (array_search('deflate', $acc) !== FALSE) {
+ $enc = 'deflate';
+ }
+ }
+
+ return ($enc);
+}
+
+