summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTim Starling <tstarling@users.mediawiki.org>2008-12-17 08:19:31 +0000
committerTim Starling <tstarling@users.mediawiki.org>2008-12-17 08:19:31 +0000
commit66f48da1e0792a45245e0e47e0c9f37ceaf5998d (patch)
treeed311282f8781541b03f56fab2d165b054ba92f5
parenta61d22ac0f8982473c3cc698024aa6bfaeb1f2e6 (diff)
Incrementing version number to fix packaging error.1.12.3
Notes
http://mediawiki.org/wiki/Special:Code/MediaWiki/44707
-rw-r--r--RELEASE-NOTES11
-rw-r--r--includes/DefaultSettings.php2
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';