Utk95 has uploaded a new change for review.
https://gerrit.wikimedia.org/r/277233
Change subject: Convert Special:Redirect to OOUI
......................................................................
Convert Special:Redirect to OOUI
Bug: T117751
Change-Id: I70e04c8b5860e2b32081bdb510aca99fd5ee07f3
---
M includes/specials/SpecialRedirect.php
1 file changed, 4 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/33/277233/1
diff --git a/includes/specials/SpecialRedirect.php
b/includes/specials/SpecialRedirect.php
old mode 100644
new mode 100755
index 206e400..0c6dd2b
--- a/includes/specials/SpecialRedirect.php
+++ b/includes/specials/SpecialRedirect.php
@@ -353,6 +353,10 @@
$form->setMethod( 'get' );
}
+ protected function getDisplayFormat() {
+ return 'ooui';
+ }
+
/**
* Return an array of subpages that this special page will accept.
*
--
To view, visit https://gerrit.wikimedia.org/r/277233
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I70e04c8b5860e2b32081bdb510aca99fd5ee07f3
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Utk95 <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
