Merge "Remove obsolete Special:Preferences styles after its transformation to OOUI"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 7 Nov 2018 10:46:15 +0000 (10:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 7 Nov 2018 10:46:15 +0000 (10:46 +0000)
commitbb3b50bb1bb5844269227de0ff82f00182bd4501
tree8fc92b2358c11b2e580e23f2c513c945c20f5e1b
parent8a5d98c10e7ed5296c4f9e99e828786179cd5070
parent39e80cfc278f363a69c922a0ea91ac4eaefeee64
Merge "Remove obsolete Special:Preferences styles after its transformation to OOUI"