IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fixes #1709: remove use of $.browser

Browse Source
This commit is contained in:
Georg Brandl 2015-02-06 07:47:13 +01:00
parent 398a207b75
commit 9ecc0b8d2f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sphinx/themes/basic/static/doctools.js
View File

@ -154,7 +154,7 @@ var Documentation = {
* workaround a firefox stupidity * workaround a firefox stupidity
*/ */
fixFirefoxAnchorBug : function() { fixFirefoxAnchorBug : function() {
if (document.location.hash && $.browser.mozilla) if (document.location.hash)
window.setTimeout(function() { window.setTimeout(function() {
document.location.href += ''; document.location.href += '';
}, 10); }, 10);