jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/292779 )
Change subject: Convert Special:UserMerge to use OOUI
......................................................................
Convert Special:UserMerge to use OOUI
Bug: T137017
Change-Id: I0a7a37ca697f9f789a271e4ecedfbd963b68f9d9
---
M SpecialUserMerge.php
1 file changed, 4 insertions(+), 1 deletion(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
Jforrester: Looks good to me, but someone else must approve
diff --git a/SpecialUserMerge.php b/SpecialUserMerge.php
index 9af48d5..e226ec9 100644
--- a/SpecialUserMerge.php
+++ b/SpecialUserMerge.php
@@ -109,7 +109,6 @@
*/
protected function alterForm( HTMLForm $form ) {
$form->setSubmitTextMsg( 'usermerge-submit' );
- $form->setWrapperLegendMsg( 'usermerge-fieldset' );
}
/**
@@ -171,6 +170,10 @@
return Status::newGood();
}
+ protected function getDisplayFormat() {
+ return 'ooui';
+ }
+
protected function getGroupName() {
return 'users';
}
--
To view, visit https://gerrit.wikimedia.org/r/292779
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0a7a37ca697f9f789a271e4ecedfbd963b68f9d9
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/UserMerge
Gerrit-Branch: master
Gerrit-Owner: Sethakill <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: MarcoAurelio <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
