From 9ecc0b8d2f1d2671e05a382339c7c2ea44fc86e6 Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Fri, 6 Feb 2015 07:47:13 +0100
Subject: [PATCH] Fixes #1709: remove use of $.browser

---
 sphinx/themes/basic/static/doctools.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sphinx/themes/basic/static/doctools.js b/sphinx/themes/basic/static/doctools.js
index 40356f41555..5a20d62f505 100644
--- a/sphinx/themes/basic/static/doctools.js
+++ b/sphinx/themes/basic/static/doctools.js
@@ -154,7 +154,7 @@ var Documentation = {
    * workaround a firefox stupidity
    */
   fixFirefoxAnchorBug : function() {
-    if (document.location.hash && $.browser.mozilla)
+    if (document.location.hash)
       window.setTimeout(function() {
         document.location.href += '';
       }, 10);