Umherirrender has uploaded a new change for review.
https://gerrit.wikimedia.org/r/92851
Change subject: More 1.22 -> 1.23
......................................................................
More 1.22 -> 1.23
Follow-Up: I1c2d7bdd1d861ace3f7e7bd8f8f0047c31194446
Change-Id: Icc3d612d401c7c2a91678a4a5dc4a228383452e6
---
M CREDITS
M HISTORY
M includes/PHPVersionError.php
3 files changed, 3 insertions(+), 3 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/51/92851/1
diff --git a/CREDITS b/CREDITS
index 7927c3d..23636ae 100644
--- a/CREDITS
+++ b/CREDITS
@@ -1,4 +1,4 @@
-MediaWiki 1.22 is a collaborative project released under the
+MediaWiki 1.23 is a collaborative project released under the
GNU General Public License v2. We would like to recognize the
following names for their contribution to the product.
diff --git a/HISTORY b/HISTORY
index 45eab2e..88cc906 100644
--- a/HISTORY
+++ b/HISTORY
@@ -1,4 +1,4 @@
-Change notes from older releases. For current info see RELEASE-NOTES-1.22.
+Change notes from older releases. For current info see RELEASE-NOTES-1.23.
== MediaWiki 1.21 ==
diff --git a/includes/PHPVersionError.php b/includes/PHPVersionError.php
index 02d3546..e6d6ebf 100644
--- a/includes/PHPVersionError.php
+++ b/includes/PHPVersionError.php
@@ -38,7 +38,7 @@
* version are hardcoded here
*/
function wfPHPVersionError( $type ) {
- $mwVersion = '1.22';
+ $mwVersion = '1.23';
$minimumVersionPHP = '5.3.2';
$phpVersion = phpversion();
--
To view, visit https://gerrit.wikimedia.org/r/92851
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Icc3d612d401c7c2a91678a4a5dc4a228383452e6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
