From d362b0365badd36d039bca9ca2a4a40f4c514ef7 Mon Sep 17 00:00:00 2001 From: umherirrender Date: Thu, 31 Oct 2013 11:17:07 +0100 Subject: [PATCH] More 1.22 -> 1.23 Follow-Up: I1c2d7bdd1d861ace3f7e7bd8f8f0047c31194446 Change-Id: Icc3d612d401c7c2a91678a4a5dc4a228383452e6 --- CREDITS | 2 +- HISTORY | 2 +- includes/PHPVersionError.php | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/CREDITS b/CREDITS index 7927c3d8fa..23636aebc6 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 45eab2e9d1..88cc906d4f 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 02d3546fbe..e6d6ebf92d 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(); -- 2.20.1