diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2014-10-04 10:10:15 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2014-10-04 10:10:15 +0200 |
| commit | 27d7bc2d376e45ead3e5ee75bf1a781096170a2c (patch) | |
| tree | 376f24e4185d3b94f26009c46efffbea75b6d477 /includes/DefaultSettings.php | |
| parent | 364b55264cf4daafa7a5d353f9be71864307a0d6 (diff) | |
Update to MediaWiki 1.22.12
Diffstat (limited to 'includes/DefaultSettings.php')
| -rw-r--r-- | includes/DefaultSettings.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 1ec2ea35..84374c42 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -63,7 +63,7 @@ $wgConf = new SiteConfiguration; * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.22.11'; +$wgVersion = '1.22.12'; /** * Name of the site. It must be changed in LocalSettings.php |