diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-08-16 08:22:05 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-08-16 08:22:05 +0200 |
| commit | 1a365e77dfb8825136626202b1df462731b42060 (patch) | |
| tree | 1dc4468eaabf070e051e790a9e67a9a9a2c63d99 /includes/specials/SpecialVersion.php | |
| parent | a72fd280f7acb4d2a1ba579a0f1b2b2ae8958530 (diff) | |
Update to MediaWiki 1.25.2
Diffstat (limited to 'includes/specials/SpecialVersion.php')
| -rw-r--r-- | includes/specials/SpecialVersion.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/specials/SpecialVersion.php b/includes/specials/SpecialVersion.php index c1a95939..9a1c5e5d 100644 --- a/includes/specials/SpecialVersion.php +++ b/includes/specials/SpecialVersion.php @@ -265,8 +265,8 @@ class SpecialVersion extends SpecialPage { $version = $wgVersion . ' ' . wfMessage( 'version-svn-revision', - isset( $info['directory-rev'] ) ? $info['directory-rev'] : '', - $info['checkout-rev'] + isset( $svnInfo['directory-rev'] ) ? $svnInfo['directory-rev'] : '', + isset( $svnInfo['checkout-rev'] ) ? $svnInfo['checkout-rev'] : '' )->text(); } |