Florianschmidtwelzow has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/251013

Change subject: Convert Special:ComparePages to OOUI
......................................................................

Convert Special:ComparePages to OOUI

Bug: T117752
Change-Id: I480c2165c908ca7c8e08ed5990e386ddb515f3b0
---
M includes/specials/SpecialComparePages.php
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/13/251013/1

diff --git a/includes/specials/SpecialComparePages.php 
b/includes/specials/SpecialComparePages.php
index 0f8b729..970e681 100644
--- a/includes/specials/SpecialComparePages.php
+++ b/includes/specials/SpecialComparePages.php
@@ -51,7 +51,7 @@
                $this->outputHeader();
 
                # Form (.mw-searchInput enables suggestions)
-               $form = new HTMLForm( array(
+               $form = HTMLForm::factory( 'ooui', array(
                        'Page1' => array(
                                'type' => 'text',
                                'name' => 'page1',

-- 
To view, visit https://gerrit.wikimedia.org/r/251013
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I480c2165c908ca7c8e08ed5990e386ddb515f3b0
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Florianschmidtwelzow <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to