From 9bd0dc7c3396bc90f5cef31a77b67db283fd12b8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Benoi=CC=82t=20Pin?= <pin@cri.ensmp.fr>
Date: Wed, 9 Jul 2014 11:00:35 +0200
Subject: [PATCH 1/1] =?utf8?q?Erreur=20history.pushState=20(IE8)=20pass?=
 =?utf8?q?=C3=A9es=20silencieuses.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 skins/ajax_scripts/javascript_events_api.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/skins/ajax_scripts/javascript_events_api.js b/skins/ajax_scripts/javascript_events_api.js
index 4e721e2..bff4300 100644
--- a/skins/ajax_scripts/javascript_events_api.js
+++ b/skins/ajax_scripts/javascript_events_api.js
@@ -27,6 +27,9 @@ var getCopyOfNode; /* (node) returns a clone of the given node.
 						* to inject HMTL code inside tags where innerHtml is read only (IE)
 					*/
 var copyPrototype; // (descendant, parent) lightwheight javascript inheritance
+if (!history.pushState) {
+    history.pushState = function(){};
+}
 
 (function(){
 
-- 
2.20.1