From 0402658c75f5d7208215e7ed28b8335d7648a677 Mon Sep 17 00:00:00 2001 From: Morris Jobke 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);