Merge "(bug 42604) fix faulty browser detection code for Opera"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 11 Dec 2012 03:09:10 +0000 (03:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 11 Dec 2012 03:09:10 +0000 (03:09 +0000)

Trivial merge