Updates for 1.13.01.13.0

2 files changed, 7 insertions, 3 deletions

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 87e5e67708b5..2d1dbb4f6b31 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -3,9 +3,9 @@
 Security reminder: MediaWiki does not require PHP's register_globals
 setting since version 1.2.0. If you have it on, turn it *off* if you can.
 
-== MediaWiki 1.13.0rc3 ==
+== MediaWiki 1.13.0 ==
 
-This is a release candidate of the Summer 2008 quarterly snapshot release 
+This is the first stable release of the Summer 2008 quarterly snapshot release 
 of MediaWiki.
 
 MediaWiki is now using a "continuous integration" development model with
@@ -20,7 +20,11 @@ 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.13.0rc2 ==
+
 * (bug 13770) Fixed incorrect detection of PHP's DOM module
+* Fix regression from r37834: accesskey tooltip hint should be given for the 
+  minor edit and watch labels on the edit page.
+* Updated Chinese simplified/traditional conversion tables
 
 == Changes since 1.13.0rc1 ==
 
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 06eb7aaeaeea..a30a192d0f6c 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.0rc3';
+$wgVersion			= '1.13.0';
 
 /** Name of the site. It must be changed in LocalSettings.php */
 $wgSitename         = 'MediaWiki';