From 04c5c5aab8d09defe057acadd7c8357b0b872fb3 Mon Sep 17 00:00:00 2001 From: Njal Karevoll Date: Mon, 15 Aug 2011 10:27:25 +0200 Subject: [PATCH] Array.concat does not exist in all browsers. [].concat can be used instead of Array.concat, and this works in Firefox and Chrome (and reportedly on IE8/9). --- sphinx/themes/basic/static/searchtools.js_t | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sphinx/themes/basic/static/searchtools.js_t b/sphinx/themes/basic/static/searchtools.js_t index 0aa291cba..c3f9adc9e 100644 --- a/sphinx/themes/basic/static/searchtools.js_t +++ b/sphinx/themes/basic/static/searchtools.js_t @@ -174,7 +174,7 @@ var Search = { // lookup as object for (var i = 0; i < objectterms.length; i++) { - var others = Array.concat(objectterms.slice(0,i), + var others = [].concat(objectterms.slice(0,i), objectterms.slice(i+1, objectterms.length)) var results = this.performObjectSearch(objectterms[i], others); // Assume first word is most likely to be the object,