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/SpecialDiff.php | |
| parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) | |
Update to MediaWiki 1.26.0
Diffstat (limited to 'includes/specials/SpecialDiff.php')
| -rw-r--r-- | includes/specials/SpecialDiff.php | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/includes/specials/SpecialDiff.php b/includes/specials/SpecialDiff.php index 89c1c021..8b5d31a8 100644 --- a/includes/specials/SpecialDiff.php +++ b/includes/specials/SpecialDiff.php @@ -37,12 +37,16 @@ * @since 1.23 */ class SpecialDiff extends RedirectSpecialPage { - function __construct() { + public function __construct() { parent::__construct( 'Diff' ); $this->mAllowedRedirectParams = array(); } - function getRedirect( $subpage ) { + /** + * @param string|null $subpage + * @return Title|bool + */ + public function getRedirect( $subpage ) { $parts = explode( '/', $subpage ); // Try to parse the values given, generating somewhat pretty URLs if possible |