diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2015-05-06 19:55:13 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2015-05-06 19:55:13 +0000 |
| commit | 4dfa4f144d5e238a0fccb4ce1601072b3d0063a4 (patch) | |
| tree | b0bb0f3e5c8614b841a53c01c12ef0df8432b797 | |
| parent | 6743617ad4e50c5f630135c3b38c4c28075eeebd (diff) | |
| parent | 2c729f2b791f694671b79168dfc9baa9fab1b0c0 (diff) | |
Merge "MW 1.25.0 out of beta, into RC territory" into REL1_251.25.0-rc.0
| -rw-r--r-- | includes/DefaultSettings.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 2d345e8eb538..ba56dd9277a3 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -75,7 +75,7 @@ $wgConfigRegistry = array( * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.25beta'; +$wgVersion = '1.25.0-rc.0'; /** * Name of the site. It must be changed in LocalSettings.php |