Gerrit Code Review <gerrit@wikimedia.org> committed rMW535326026582: Merge "Make mediawiki.action.view.redirectPage available on mobile" (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Feb 26 2016, 12:13 AM2016-02-26 00:13:18 (UTC+0)

Billmackenty mentioned this in T131227: selecting code also selects line number, and the CSS fix doesn't seem to work.Mar 30 2016, 6:38 AM2016-03-30 06:38:56 (UTC+0)