diff options
Diffstat (limited to 'userContent/reproducible/static/pkgset.js')
| -rw-r--r-- | userContent/reproducible/static/pkgset.js | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/userContent/reproducible/static/pkgset.js b/userContent/reproducible/static/pkgset.js deleted file mode 100644 index 530679a3..00000000 --- a/userContent/reproducible/static/pkgset.js +++ /dev/null @@ -1,9 +0,0 @@ -window.onload = function () { - var userAgent = navigator.userAgent.toLowerCase(); - var version = /firefox\/(\d+)/.exec(userAgent); - if (!version || (version.length === 2 && version[1] > 48)) { - // Reveal the "expand-all-pkgset" button when not in firefox (where - // summary tags are not supported) - document.getElementById("expand-all-pkgsets").style.display='inline'; - } -} |