Merge "Exclude user interface elements in content from selection"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 5 Feb 2015 12:48:58 +0000 (12:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 5 Feb 2015 12:48:58 +0000 (12:48 +0000)
commit69bd2e54d698f32120940f80f3493479297ecf74
treed008724fe74057f092b98a5946ca228e3b935a70
parented64cc32cfac9f2cce338290014cc64fd8d50d9d
parent9f3a11582533485502367ed8eeeec4d25c2e4250
Merge "Exclude user interface elements in content from selection"
resources/src/mediawiki.legacy/shared.css