diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2014-05-30 06:21:55 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2014-05-30 06:21:55 +0200 |
| commit | 3d92394be2570f9f49c7904cacc2bc8d790e72f2 (patch) | |
| tree | a4d4d6c1db453dd39f2c875797734f13dec6d5a1 /includes/DefaultSettings.php | |
| parent | 2e44b49a2db3026050b136de9b00f749dd3ff939 (diff) | |
Update to MediaWiki 1.22.7
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 32ad2db3..850c2cfb 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.6'; +$wgVersion = '1.22.7'; /** * Name of the site. It must be changed in LocalSettings.php |