From fc928e096ab699968c1dbead233cdc85c73a08db Mon Sep 17 00:00:00 2001
From: Vincent Vanwaelscappel <vincent@cubedesigners.com>
Date: Fri, 23 Jun 2017 15:56:05 +0200
Subject: [PATCH] fix issue produced by adding diff to array.prototype

---
 js/libs/fluidbook/fluidbook.nav.js   | 2 +-
 js/libs/fluidbook/fluidbook.utils.js | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/js/libs/fluidbook/fluidbook.nav.js b/js/libs/fluidbook/fluidbook.nav.js
index f2781d1f..cbba0fbc 100644
--- a/js/libs/fluidbook/fluidbook.nav.js
+++ b/js/libs/fluidbook/fluidbook.nav.js
@@ -84,7 +84,7 @@ FluidbookNav.prototype = {
 
 
         var all = "index,chapters,print,friend,bookmark,archives,basket,fullscreen,sound,3d,help".split(",");
-        var hide = all.diff(this.fluidbook.datas.navOrder);
+        var hide = array_diff(all, this.fluidbook.datas.navOrder);
         var loop = [].concat(this.fluidbook.datas.navOrder).concat(hide);
 
         for (var e in loop) {
diff --git a/js/libs/fluidbook/fluidbook.utils.js b/js/libs/fluidbook/fluidbook.utils.js
index 6607d2cd..d7d220b8 100644
--- a/js/libs/fluidbook/fluidbook.utils.js
+++ b/js/libs/fluidbook/fluidbook.utils.js
@@ -76,8 +76,8 @@ function blur() {
     }
 }
 
-Array.prototype.diff = function (a) {
-    return this.filter(function (i) {
-        return a.indexOf(i) < 0;
+function array_diff(a,b){
+    return a.filter(function (i) {
+        return b.indexOf(i) < 0;
     });
-};
\ No newline at end of file
+}
\ No newline at end of file
-- 
2.39.5