--- a/src/cm/media/js/client/c_sync.js	Mon Sep 24 12:11:49 2012 +0200
+++ b/src/cm/media/js/client/c_sync.js	Mon Oct 01 09:50:25 2012 +0200
@@ -1,4 +1,13 @@
 gShowingAllComments = false ;
+// indexOf method of Array is unknown by stupid IE.
+if (!Array.prototype.indexOf) {
+  Array.prototype.indexOf = function(obj, start) {
+    for (var i = (start || 0), j = this.length; i < j; i++) {
+      if (this[i] === obj) { return i; }
+    }
+    return -1;
+  }
+}
 // YUI : queue, overlay
 Sync = function() {
   // this queue handles both animations and io requests