diff options
author | Reedy <reedy@wikimedia.org> | 2012-05-02 14:31:03 +0100 |
---|---|---|
committer | Reedy <reedy@wikimedia.org> | 2012-05-02 14:31:03 +0100 |
commit | cb82979b64317e684686c2908fb7f76745094cb7 (patch) | |
tree | 77a2f7b0467a4a7493f26087d18b043fc7519d08 | |
parent | 8522026dc57858b1d93beecd377bd6bc27a3a169 (diff) |
Bump version and update release notes for 1.19.0 release1.19.0
Change-Id: I5f6283950e0e4cbc32fe858ecbf18275c3f8df1e
-rw-r--r-- | RELEASE-NOTES-1.19 | 10 | ||||
-rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 7 insertions, 5 deletions
diff --git a/RELEASE-NOTES-1.19 b/RELEASE-NOTES-1.19 index 51e4bd471339..6c7fa6d25f7b 100644 --- a/RELEASE-NOTES-1.19 +++ b/RELEASE-NOTES-1.19 @@ -5,11 +5,13 @@ setting since version 1.2.0. If you have it on, turn it '''off''' if you can. == MediaWiki 1.19 == -THIS IS NOT A RELEASE YET +MediaWiki 1.19 is a large release that contains many new features and bug +fixes. This is a summary of the major changes of interest to users. +You can consult the RELEASE-NOTES-1.19 file for the full list of changes in +this version. -This is a release candidate of the MediaWiki 1.19 branch. Please test it -and let us know what you think of it. Release candidates are not recommended -for use in production environments. +Our thanks go to everyone who helped to improve MediaWiki by testing the beta +release and submitting bug reports. === Changes since 1.19 beta 2 === * Special:Watchlist no longer sets links to feed when the user is anonymous. diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 2f958015f459..04450348f6a3 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -33,7 +33,7 @@ $wgConf = new SiteConfiguration; /** @endcond */ /** MediaWiki version number */ -$wgVersion = '1.19.0rc1'; +$wgVersion = '1.19.0'; /** Name of the site. It must be changed in LocalSettings.php */ $wgSitename = 'MediaWiki'; |