diff options
author | Tim Starling <tstarling@users.mediawiki.org> | 2009-02-22 10:24:50 +0000 |
---|---|---|
committer | Tim Starling <tstarling@users.mediawiki.org> | 2009-02-22 10:24:50 +0000 |
commit | d16ee4291d691453caa7f9374653137c97c1efc4 (patch) | |
tree | 8d25f41da1c88c8ef277f90f127acb77340b4988 | |
parent | 94073405eb796b9a26479ba97ccd2e68b4d4f81a (diff) |
Updates for release of 1.13.51.13.5
Notes
http://mediawiki.org/wiki/Special:Code/MediaWiki/47651
-rw-r--r-- | RELEASE-NOTES | 2 | ||||
-rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/RELEASE-NOTES b/RELEASE-NOTES index 124d5f484039..f314d987277d 100644 --- a/RELEASE-NOTES +++ b/RELEASE-NOTES @@ -4,6 +4,8 @@ For upgrade instructions please see the UPGRADE file in this directory. == MediaWiki 1.13.5 == +February 22, 2009 + This is a maintenance update to the Summer 2008 snapshot release of MediaWiki. MediaWiki is now using a "continuous integration" development model with diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 877e4ebda704..42098310e30d 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -31,7 +31,7 @@ require_once( "$IP/includes/SiteConfiguration.php" ); $wgConf = new SiteConfiguration; /** MediaWiki version number */ -$wgVersion = '1.13.4'; +$wgVersion = '1.13.5'; /** Name of the site. It must be changed in LocalSettings.php */ $wgSitename = 'MediaWiki'; |