usage of const in JS is supported in IE11+

diff --git a/search/js/search.js b/search/js/search.js
index 318858ebd715d2f877e2ec1b30c2178557838e17..57de07bf7fda06dbf69a60fecbf7307b5d21d92a 100644 (file)
--- 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);