Special:PrefixIndex: Convert to OOUI
authorgopavasanth <gopavasanth1999@gmail.com>
Sat, 21 Apr 2018 13:24:16 +0000 (18:54 +0530)
committerThiemo Kreuz <thiemo.kreuz@wikimedia.de>
Fri, 18 May 2018 11:58:11 +0000 (13:58 +0200)
commitc8fd6077a1034bbf2e2a8e376575167bb7ec0f65
treee499a0de5df48594ab643cd05c401903f9504abf
parentc413d15d183cad695ab68b77bf384c43cf1047dc
Special:PrefixIndex: Convert to OOUI

Bug: T117726
Change-Id: I13c4d6d5132b7085bc954a97d270efbef0acb846
includes/specials/SpecialPrefixindex.php