diff options
author | Tim Starling <tstarling@users.mediawiki.org> | 2008-12-17 08:19:31 +0000 |
---|---|---|
committer | Tim Starling <tstarling@users.mediawiki.org> | 2008-12-17 08:19:31 +0000 |
commit | 66f48da1e0792a45245e0e47e0c9f37ceaf5998d (patch) | |
tree | ed311282f8781541b03f56fab2d165b054ba92f5 | |
parent | a61d22ac0f8982473c3cc698024aa6bfaeb1f2e6 (diff) |
Incrementing version number to fix packaging error.1.12.3
Notes
http://mediawiki.org/wiki/Special:Code/MediaWiki/44707
-rw-r--r-- | RELEASE-NOTES | 11 | ||||
-rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 9 insertions, 4 deletions
diff --git a/RELEASE-NOTES b/RELEASE-NOTES index 6d5917820262..abad983855bd 100644 --- a/RELEASE-NOTES +++ b/RELEASE-NOTES @@ -2,11 +2,11 @@ For upgrade instructions please see the UPGRADE file in this directory. -== MediaWiki 1.12.2 == +== MediaWiki 1.12.3 == -December 15, 2008 +December 17, 2008 -This is a security release of the quarterly branch of MediaWiki for Winter 2008. +This is a bugfix release of the quarterly branch of MediaWiki for Winter 2008. MediaWiki is now using a "continuous integration" development model with quarterly snapshot releases. The latest development code is always kept @@ -19,6 +19,11 @@ will be made on the development trunk and appear in the next quarterly release. Those wishing to use the latest code instead of a branch release can obtain it from source control: http://www.mediawiki.org/wiki/Download_from_SVN +== Changes since 1.12.2 == + +* Fixed packaging/distribution error. Many files were missing from the + distributed tarball. + == Changes since 1.12.1 == David Remahl of Apple's Product Security team has identified a number of diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 5c7d7f4aeec4..350ebf41faf1 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.12.2'; +$wgVersion = '1.12.3'; /** Name of the site. It must be changed in LocalSettings.php */ $wgSitename = 'MediaWiki'; |