Merge "Special:Preferences: Replace OOUI preferences CSS by LESS file"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 2 Jul 2018 21:49:46 +0000 (21:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 2 Jul 2018 21:49:46 +0000 (21:49 +0000)
commit6f6612e86b67e36a51bb5ee37945a6e5ef1f8f5e
treedf21ef488577eb892a06c4ccff5f1482c6084e72
parent4424347c4770a18801cfc7b773814265a9dee43b
parent40d2d66f4475a64b4ec3ce7f5b6046fd5d97160b
Merge "Special:Preferences: Replace OOUI preferences CSS by LESS file"