diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2013-11-14 23:19:13 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2013-11-14 23:19:13 +0100 |
| commit | af4da56f1ad4d3ef7b06557bae365da2ea27a897 (patch) | |
| tree | c018c4033c36be77f9ec699cfd485be82c7542d7 /includes/DefaultSettings.php | |
| parent | 91e194556c52d2f354344f930419eef2dd6267f0 (diff) | |
Update to MediaWiki 1.21.3
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 0e493eb0..a56ef849 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -63,7 +63,7 @@ $wgConf = new SiteConfiguration; * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.21.2'; +$wgVersion = '1.21.3'; /** * Name of the site. It must be changed in LocalSettings.php |