jenkins-bot has submitted this change and it was merged. Change subject: Prep for 1.25.0 general release, no more RCs ......................................................................
Prep for 1.25.0 general release, no more RCs Change-Id: I27b0b22594ae81fb3cc190f1dbd25e84f6e2ccd5 --- M RELEASE-NOTES-1.25 M includes/DefaultSettings.php 2 files changed, 1 insertion(+), 6 deletions(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/RELEASE-NOTES-1.25 b/RELEASE-NOTES-1.25 index e74f226..0e68b1e 100644 --- a/RELEASE-NOTES-1.25 +++ b/RELEASE-NOTES-1.25 @@ -3,11 +3,6 @@ == MediaWiki 1.25 == -THIS IS NOT A RELEASE YET - -MediaWiki 1.25 is an alpha-quality branch and is not recommended for use in -production. - === Configuration changes in 1.25 === * $wgPageShowWatchingUsers was removed. * $wgLocalVirtualHosts has been added to replace $wgConf->localVHosts. diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 48a595d..3ca9064 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -75,7 +75,7 @@ * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.25.0-rc.1'; +$wgVersion = '1.25.0'; /** * Name of the site. It must be changed in LocalSettings.php -- To view, visit https://gerrit.wikimedia.org/r/213534 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I27b0b22594ae81fb3cc190f1dbd25e84f6e2ccd5 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/core Gerrit-Branch: REL1_25 Gerrit-Owner: Chad <ch...@wikimedia.org> Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits