fixes #270 - server configurator won't start with IE8

dashboard-ui/scripts/extensions.js

@@ -21,6 +21,32 @@ $.fn.checked = function (value) {
     }
 };
 
+if (!Array.prototype.filter) {
+    Array.prototype.filter = function (fun /*, thisp*/) {
+        "use strict";
+
+        if (this == null)
+            throw new TypeError();
+
+        var t = Object(this);
+        var len = t.length >>> 0;
+        if (typeof fun != "function")
+            throw new TypeError();
+
+        var res = [];
+        var thisp = arguments[1];
+        for (var i = 0; i < len; i++) {
+            if (i in t) {
+                var val = t[i]; // in case fun mutates this
+                if (fun.call(thisp, val, i, t))
+                    res.push(val);
+            }
+        }
+
+        return res;
+    };
+}
+
 var WebNotifications = {
 
     show: function (data) {