From df7e0161e352b6a0537ad49d587cb402ba989fbf Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Mon, 14 Apr 2014 17:39:53 +0100
Subject: [PATCH] Couple more 1.24 bumps

Change-Id: I2cd845750c8dd760c74b17d632c66985999d70bd
---
 CREDITS                      | 2 +-
 HISTORY                      | 2 +-
 includes/PHPVersionError.php | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/CREDITS b/CREDITS
index 6e28d6da13..cf222a01db 100644
--- a/CREDITS
+++ b/CREDITS
@@ -1,6 +1,6 @@
 {{int:version-credits-summary}}
 <!--
-MediaWiki 1.23 is a collaborative project released under the
+MediaWiki 1.24 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 b2705f1c5d..12532dbf62 100644
--- a/HISTORY
+++ b/HISTORY
@@ -1,4 +1,4 @@
-Change notes from older releases. For current info see RELEASE-NOTES-1.23.
+Change notes from older releases. For current info see RELEASE-NOTES-1.24.
 
 == MediaWiki 1.22 ==
 
diff --git a/includes/PHPVersionError.php b/includes/PHPVersionError.php
index 60aa33c07c..9b5373b509 100644
--- a/includes/PHPVersionError.php
+++ b/includes/PHPVersionError.php
@@ -38,7 +38,7 @@
  * version are hardcoded here
  */
 function wfPHPVersionError( $type ) {
-	$mwVersion = '1.23';
+	$mwVersion = '1.24';
 	$minimumVersionPHP = '5.3.2';
 
 	$phpVersion = phpversion();
-- 
2.20.1