diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:15:42 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:44:51 +0100 |
| commit | a1789ddde42033f1b05cc4929491214ee6e79383 (patch) | |
| tree | 63615735c4ddffaaabf2428946bb26f90899f7bf /includes/specials/SpecialResetTokens.php | |
| parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) | |
Update to MediaWiki 1.26.0
Diffstat (limited to 'includes/specials/SpecialResetTokens.php')
| -rw-r--r-- | includes/specials/SpecialResetTokens.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/includes/specials/SpecialResetTokens.php b/includes/specials/SpecialResetTokens.php index ba2b9a5b..cba5a449 100644 --- a/includes/specials/SpecialResetTokens.php +++ b/includes/specials/SpecialResetTokens.php @@ -25,6 +25,7 @@ * Let users reset tokens like the watchlist token. * * @ingroup SpecialPage + * @deprecated 1.26 */ class SpecialResetTokens extends FormSpecialPage { private $tokensList; @@ -123,6 +124,10 @@ class SpecialResetTokens extends FormSpecialPage { } } + protected function getDisplayFormat() { + return 'ooui'; + } + public function onSubmit( array $formData ) { if ( $formData['tokens'] ) { $user = $this->getUser(); |