Florianschmidtwelzow has uploaded a new change for review.
https://gerrit.wikimedia.org/r/223190
Change subject: Use OOUI on Special:RandomInCategory
......................................................................
Use OOUI on Special:RandomInCategory
Change-Id: I878c18b1ba1c01389528bbe887726583f36544c1
---
M includes/specials/SpecialRandomInCategory.php
1 file changed, 5 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/90/223190/1
diff --git a/includes/specials/SpecialRandomInCategory.php
b/includes/specials/SpecialRandomInCategory.php
index e21eaeb..7c42d0f 100644
--- a/includes/specials/SpecialRandomInCategory.php
+++ b/includes/specials/SpecialRandomInCategory.php
@@ -91,6 +91,7 @@
protected function alterForm( HTMLForm $form ) {
$form->setSubmitTextMsg( 'randomincategory-submit' );
+ $form->setSubmitProgressive();
}
protected function setParameter( $par ) {
@@ -303,4 +304,8 @@
protected function getGroupName() {
return 'redirects';
}
+
+ protected function getDisplayFormat() {
+ return 'ooui';
+ }
}
--
To view, visit https://gerrit.wikimedia.org/r/223190
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I878c18b1ba1c01389528bbe887726583f36544c1
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Florianschmidtwelzow <florian.schmidt.wel...@t-online.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
