Don't shorten $http_response_header

diff --git a/adminer/include/version.inc.php b/adminer/include/version.inc.php
index 08c41c8028c460ab2721148c2881b06acf754fd4..ba51338d5346af69193ec16eb0719f31d0d707a6 100644 (file)
--- a/adminer/include/version.inc.php
+++ b/adminer/include/version.inc.php
@@ -1,2 +1,2 @@
 <?php
-$VERSION = "4.0.0";
+$VERSION = "4.0.1-dev";

diff --git a/changes.txt b/changes.txt
index f1411780388a29f5e5b7982159fdb07f0554f24c..1c25b100c61897d3b9621557b73668a6fada8372 100644 (file)
--- a/changes.txt
+++ b/changes.txt
@@ -1,3 +1,6 @@
+Adminer 4.0.1-dev:
+Fix compiled version of Elasticsearch
+
 Adminer 4.0.0 (released 2014-01-08):
 Driver for SimpleDB, MongoDB and Elasticsearch
 Highlight SQL in textareas

diff --git a/compile.php b/compile.php
index 89aeb07f9118ad42dc7d246069d39d05d0b00b1a..a431645bd2ed0fb111eeb418daf254159388f11c 100755 (executable)
--- a/compile.php
+++ b/compile.php
@@ -168,7 +168,7 @@ function short_identifier($number, $chars) {
 // based on http://latrine.dgx.cz/jak-zredukovat-php-skripty
 function php_shrink($input) {
        global $VERSION;
-       $special_variables = array_flip(array('$this', '$GLOBALS', '$_GET', '$_POST', '$_FILES', '$_COOKIE', '$_SESSION', '$_SERVER'));
+       $special_variables = array_flip(array('$this', '$GLOBALS', '$_GET', '$_POST', '$_FILES', '$_COOKIE', '$_SESSION', '$_SERVER', '$http_response_header'));
        $short_variables = array();
        $shortening = true;
        $tokens = token_get_all($input);