diff -r 43cb2c8bba71 -r 25e1f60979ae integration/js/plugins.js
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/integration/js/plugins.js	Wed Oct 17 18:24:00 2012 +0200
@@ -0,0 +1,14 @@
+// Avoid `console` errors in browsers that lack a console.
+if (!(window.console && console.log)) {
+    (function() {
+        var noop = function() {};
+        var methods = ['assert', 'clear', 'count', 'debug', 'dir', 'dirxml', 'error', 'exception', 'group', 'groupCollapsed', 'groupEnd', 'info', 'log', 'markTimeline', 'profile', 'profileEnd', 'markTimeline', 'table', 'time', 'timeEnd', 'timeStamp', 'trace', 'warn'];
+        var length = methods.length;
+        var console = window.console = {};
+        while (length--) {
+            console[methods[length]] = noop;
+        }
+    }());
+}
+
+// Place any jQuery/helper plugins in here.