From 53f3b1326a4df423ee52b726380bf574952a435b Mon Sep 17 00:00:00 2001
From: Tim van der Meij <timvandermeij@gmail.com>
Date: Fri, 9 May 2014 21:26:07 +0200
Subject: [PATCH] Removes unused code from web/compatibility.js

---
 web/compatibility.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/web/compatibility.js b/web/compatibility.js
index 0e2dba1be..98dc839ba 100644
--- a/web/compatibility.js
+++ b/web/compatibility.js
@@ -571,7 +571,6 @@ if (typeof PDFJS === 'undefined') {
   }
   window.requestAnimationFrame =
     window.mozRequestAnimationFrame || window.webkitRequestAnimationFrame ||
-    window.oRequestAnimationFrame || window.msRequestAnimationFrame ||
     (function fakeRequestAnimationFrame(callback) {
       window.setTimeout(callback, 20);
     });