Merge "Convert rest of Special:Undelete to OOUI"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 12 Jul 2017 19:02:06 +0000 (19:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 12 Jul 2017 19:02:06 +0000 (19:02 +0000)
commit73d81511863b1b7b6078ba084da49694fe6a1b65
tree0af53c92659028f97762172110d5e1eb50818db6
parent51cb436f3811d4c462124eb19b6f60ee7336fe81
parent6cf13604aec40e2210c16ccdbeba850de9428d19
Merge "Convert rest of Special:Undelete to OOUI"