fix broken merge

diff --git a/core/js/js.js b/core/js/js.js
index 3a820544b78de552455602f88b1ba58f7d7f9795..2f74bda2588393d4730f258cde194c1c4da0760b 100644 (file)
--- 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*/)
        {