Fixes #1709: remove use of $.browser

sphinx-doc · Feb 6, 2015 · 9ecc0b8 · 9ecc0b8
1 parent 398a207
commit 9ecc0b8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);