Merge "Move CSS for patrol from mediawiki.legacy to new module mediawiki.page.patrol"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 6 Aug 2016 22:08:25 +0000 (22:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 6 Aug 2016 22:08:25 +0000 (22:08 +0000)
commit0ecc0e9b5959fd791f28f32a97d6656c426daa24
tree1ef1122e4701e9dfc8f69fb1f59fdd23e5bbab19
parent4c4cc16fd8f3c722ee325b5e63e5d425a53e51a8
parente9f896d6a5c09838b92bcb871c306b25526c3f96
Merge "Move CSS for patrol from mediawiki.legacy to new module mediawiki.page.patrol"