Merge "Prevent selection of "Jump to" text"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 3 Jan 2014 13:36:20 +0000 (13:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 3 Jan 2014 13:36:20 +0000 (13:36 +0000)

Trivial merge