diff options
| author | Reedy <reedy@wikimedia.org> | 2019-12-19 13:32:41 +0000 |
|---|---|---|
| committer | Reedy <reedy@wikimedia.org> | 2019-12-19 13:32:41 +0000 |
| commit | 29977ebe4c05cab4cac46fd1a8459e27f50fb153 (patch) | |
| tree | e8676476d28597ae51c13a9efb221954befc4e58 | |
| parent | 782ed1a1641a36855d9c35cf978885a4d61980c6 (diff) | |
Bump and prep 1.34.01.34.0
Change-Id: I57b1934858bd88a9d04796d236be5a3cd3173e6c
| -rw-r--r-- | RELEASE-NOTES-1.34 | 5 | ||||
| -rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 2 insertions, 5 deletions
diff --git a/RELEASE-NOTES-1.34 b/RELEASE-NOTES-1.34 index 0ac34b41abb2..7a7eb0444e35 100644 --- a/RELEASE-NOTES-1.34 +++ b/RELEASE-NOTES-1.34 @@ -1,9 +1,6 @@ = MediaWiki 1.34 = -THIS IS NOT A RELEASE YET - -MediaWiki 1.34 is an pre-release testing branch, and is not recommended -for use in production. +== MediaWiki 1.34.0 == === Changes since MediaWiki 1.34.0-rc.1 === * $wgDiffEngine (T237049) – This configuration can be used to specify which diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 31308a3602a1..a6dbe4b6623c 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -72,7 +72,7 @@ $wgConfigRegistry = [ * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.34.0-rc.1'; +$wgVersion = '1.34.0'; /** * Name of the site. It must be changed in LocalSettings.php |