From: Jakub Vrana <jakub@vrana.cz>
Date: Wed, 8 Jan 2014 16:45:05 +0000 (-0800)
Subject: Don't shorten $http_response_header
X-Git-Tag: v4.0.1~32
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=5444647f6166a25e8bedcbe4b89a1aa315e0c1d0;p=adminer.git

Don't shorten $http_response_header
---

diff --git a/adminer/include/version.inc.php b/adminer/include/version.inc.php
index 08c41c80..ba51338d 100644
--- 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 f1411780..1c25b100 100644
--- 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 89aeb07f..a431645b 100755
--- 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);