Merge "Special:ProtectedPages: Convert to OOUI"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 20 Apr 2018 13:40:44 +0000 (13:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 20 Apr 2018 13:40:44 +0000 (13:40 +0000)
includes/specials/SpecialProtectedpages.php

index 84779ea..26f4da5 100644 (file)
@@ -122,7 +122,7 @@ class SpecialProtectedpages extends SpecialPage {
                                'name' => 'size',
                        ]
                ];
-               $htmlForm = new HTMLForm( $formDescriptor, $this->getContext() );
+               $htmlForm = HTMLForm::factory( 'ooui', $formDescriptor, $this->getContext() );
                $htmlForm
                        ->setMethod( 'get' )
                        ->setWrapperLegendMsg( 'protectedpages' )