diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2014-11-01 07:47:43 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2014-11-01 07:47:43 +0100 |
| commit | 45b4484864b492a40570e99a9f5c87d2512cc6ad (patch) | |
| tree | d38954298068416e738ff6a52a2ec38d8cdcdffb /includes/DefaultSettings.php | |
| parent | 27d7bc2d376e45ead3e5ee75bf1a781096170a2c (diff) | |
Update to MediaWiki 1.22.13
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 84374c42..df3d57b9 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.12'; +$wgVersion = '1.22.13'; /** * Name of the site. It must be changed in LocalSettings.php |