diff --git a/core/js/js.js b/core/js/js.js
index 3a820544b7..2f74bda258 100644
--- a/core/js/js.js
+++ b/core/js/js.js
@@ -73,6 +73,8 @@ if (!Array.prototype.filter) {
 			}
 		}
 		return res;
+	}
+}
 if (!Array.prototype.indexOf){
 	Array.prototype.indexOf = function(elt /*, from*/)
 	{