From 0402658c75f5d7208215e7ed28b8335d7648a677 Mon Sep 17 00:00:00 2001
From: Morris Jobke <hey@morrisjobke.de>
Date: Tue, 13 Jan 2015 08:20:37 +0100
Subject: [PATCH] usage of const in JS is supported in IE11+

---
 search/js/search.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/search/js/search.js b/search/js/search.js
index 318858ebd7..57de07bf7f 100644
--- a/search/js/search.js
+++ b/search/js/search.js
@@ -155,7 +155,8 @@
 			}
 
 			var $status = $searchResults.find('#status');
-			const summaryAndStatusHeight = 118;
+			// summaryAndStatusHeight is a constant
+			var summaryAndStatusHeight = 118;
 
 			function isStatusOffScreen() {
 				return $searchResults.position() && ($searchResults.position().top + summaryAndStatusHeight > window.innerHeight);
-- 
GitLab