diff options
author | Tim Starling <tstarling@users.mediawiki.org> | 2008-07-23 16:29:51 +0000 |
---|---|---|
committer | Tim Starling <tstarling@users.mediawiki.org> | 2008-07-23 16:29:51 +0000 |
commit | 790a6387b38a1a7cd4eace439ef4b592bc7b7a06 (patch) | |
tree | c720c17d9a7351338592df6cb0da03c73aed7967 | |
parent | 4b88559d765b80c2893e284fd4f62e7a7ab25ddd (diff) |
1.13.0rc1 not 1.13rc11.13.0rc1
Notes
http://mediawiki.org/wiki/Special:Code/MediaWiki/37964
-rw-r--r-- | RELEASE-NOTES | 2 | ||||
-rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/RELEASE-NOTES b/RELEASE-NOTES index 361f76b4c9c3..7ebd1dd17040 100644 --- a/RELEASE-NOTES +++ b/RELEASE-NOTES @@ -3,7 +3,7 @@ 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.13rc1 == +== MediaWiki 1.13.0rc1 == This is a release candidate of the Summer 2008 quarterly snapshot release of MediaWiki. diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index d83e87cb748c..5298f6712238 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.13rc1'; +$wgVersion = '1.13.0rc1'; /** Name of the site. It must be changed in LocalSettings.php */ $wgSitename = 'MediaWiki'; |