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