COPS now also work if Pushstate / ReplaceState is not available (IE9). Thanks to At Libitum. should fix #117

index.php

@@ -101,7 +101,9 @@
                 
                 updatePage (data [0]);
                 cache.put (url, data [0]);
-                history.replaceState(url, "", window.location);
+                if (isPushStateEnabled) {
+                    history.replaceState(url, "", window.location);
+                }
                 handleLinks ();
             });