diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2014-12-18 09:47:12 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2014-12-18 09:47:12 +0100 |
| commit | b88ab0086858470dd1f644e64cb4e4f62bb2be9b (patch) | |
| tree | 6cd21b1fe19aac4e9738e32d9e046d4e053353cd /includes/DefaultSettings.php | |
| parent | 888eab1a076a287bddd84fdf9dd9c57154c91e3f (diff) | |
Update to MediaWiki 1.22.15
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 6feac36b..78568107 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.14'; +$wgVersion = '1.22.15'; /** * Name of the site. It must be changed in LocalSettings.php |