Merge "Special:Preferences: Drop non-OOUI legacy form version"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 3 Oct 2018 23:57:26 +0000 (23:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 3 Oct 2018 23:57:26 +0000 (23:57 +0000)
commit306fe0ec7cb4c94690bbb788be0c5cb39732ea4c
tree3da29884f7174ef7cb9343bdb5a616612807a741
parent9eb3834b898dd674d4d97ae0a61a2ff36ab01319
parentdcf3eb793a0df81e4c1a11bdec236268df0d6e55
Merge "Special:Preferences: Drop non-OOUI legacy form version"