diff options
author | mglaser <glaser@hallowelt.biz> | 2014-08-27 23:10:11 +0200 |
---|---|---|
committer | mglaser <glaser@hallowelt.biz> | 2014-08-27 23:10:11 +0200 |
commit | 66fcbb679d817cd528093ae174ec994279b9e633 (patch) | |
tree | 50a3fca1a84eee0c9ee005383c27491e9e5275af | |
parent | fd25d5d2cf8ad2344aa684b6431049e883b0b2ac (diff) |
Updated release notes and version number for MediaWiki 1.22.101.22.10
This is MediaWiki 1.22.10 maintenance release.
Change-Id: I11d493c7da38c783b4ea2d4e05fb327d468fe5bb
-rw-r--r-- | RELEASE-NOTES-1.22 | 2 | ||||
-rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/RELEASE-NOTES-1.22 b/RELEASE-NOTES-1.22 index 7ebbff025fe2..3479fbca6a23 100644 --- a/RELEASE-NOTES-1.22 +++ b/RELEASE-NOTES-1.22 @@ -3,7 +3,7 @@ Security reminder: MediaWiki does not require PHP's register_globals. If you have it on, turn it '''off''' if you can. -== MediaWiki 1.22.? == +== MediaWiki 1.22.10 == This is a maintenance release of the MediaWiki 1.22 branch. diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index cd631a8be451..b2c120010917 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.9'; +$wgVersion = '1.22.10'; /** * Name of the site. It must be changed in LocalSettings.php |