Merge "Replace some Special:Undelete button with OOUI ones"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 4 Dec 2017 18:25:29 +0000 (18:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 4 Dec 2017 18:25:29 +0000 (18:25 +0000)
commite78101e4f2645a44cac3b7c601cc28ab749702b4
tree90eac3fd92a5a3980fedc96d781c345043e48c40
parent45aefa894e7ab6609752a71ced213f22482fabbc
parentfa718359ec7cfc3d9fb31759df519c32b09abcfe
Merge "Replace some Special:Undelete button with OOUI ones"