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