From 5444647f6166a25e8bedcbe4b89a1aa315e0c1d0 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Wed, 8 Jan 2014 08:45:05 -0800
Subject: [PATCH] Don't shorten $http_response_header

---
 adminer/include/version.inc.php | 2 +-
 changes.txt                     | 3 +++
 compile.php                     | 2 +-
 3 files changed, 5 insertions(+), 2 deletions(-)

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);