Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- --- t1 2012-02-14 09:06:58.077919574 -0800
- +++ t2 2012-02-14 09:09:01.835809923 -0800
- @@ -15,6 +15,6 @@
- }
- };
- -if (navigator.userAgent.match(/Firefox\/[456789]/)) {
- +if (navigator.userAgent.match(/Firefox\/\d+/)) {
- window.addEventListener("load", ff4.fix, false);
- }
Add Comment
Please, Sign In to add comment
