Replace some Special:Undelete button with OOUI ones
authorAlbert221 <w.albert221@gmail.com>
Mon, 4 Dec 2017 16:43:29 +0000 (17:43 +0100)
committerAlbert221 <w.albert221@gmail.com>
Mon, 4 Dec 2017 18:10:51 +0000 (19:10 +0100)
commitfa718359ec7cfc3d9fb31759df519c32b09abcfe
tree96e4e274ec35f36d7a6f41d6932807f7c9b9a7df
parent8084ab66c1cc24f2467bdb34f671c54de2b067d8
Replace some Special:Undelete button with OOUI ones

Bug: T180207
Change-Id: Icb550a6ad8f90d7718441ec17a1026a2cfb9d754
includes/specials/SpecialUndelete.php