Merge "Revert replacing textarea in Special:Undelete with OOUI"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 8 Dec 2017 17:46:41 +0000 (17:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 8 Dec 2017 17:46:41 +0000 (17:46 +0000)
commit5f01cbd6cd879ab9c0330f412496a8ce78b0b064
treec90bb0faeb0f2dba65344b1028a5ac147085c7aa
parent370bd11d455e24eec056f518601bc197ecac4c30
parent53e5b5b90ad486cd3c8cd6480bb6e4077d2a006a
Merge "Revert replacing textarea in Special:Undelete with OOUI"