Merge "Special:PrefixIndex: Convert to OOUI"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 18 May 2018 13:32:38 +0000 (13:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 18 May 2018 13:32:39 +0000 (13:32 +0000)
includes/specials/SpecialPrefixindex.php

index 2f285c9..3ca3a85 100644 (file)
@@ -128,7 +128,7 @@ class SpecialPrefixindex extends SpecialAllPages {
                ];
                $context = new DerivativeContext( $this->getContext() );
                $context->setTitle( $this->getPageTitle() ); // Remove subpage
-               $htmlForm = new HTMLForm( $formDescriptor, $context );
+               $htmlForm = HTMLForm::factory( 'ooui', $formDescriptor, $context );
                $htmlForm
                        ->setMethod( 'get' )
                        ->setWrapperLegendMsg( 'prefixindex' )