From 144c8a5f9944c083a98e836c18cd190d87194ff5 Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Fri, 4 May 2012 20:08:23 +0100
Subject: [PATCH] Update both the MediaWiki version and the min required PHP
 version in PHPVersionError.php

Change-Id: Ia7db1c90854b30aee17cc180381fdd9dc2f9c90b
---
 includes/PHPVersionError.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/PHPVersionError.php b/includes/PHPVersionError.php
index ec6490a8b0..5c79e8b0e4 100644
--- a/includes/PHPVersionError.php
+++ b/includes/PHPVersionError.php
@@ -17,9 +17,9 @@
  * version are hardcoded here
  */
 function wfPHPVersionError( $type ){
-	$mwVersion = '1.19';
+	$mwVersion = '1.20';
 	$phpVersion = PHP_VERSION;
-	$message = "MediaWiki $mwVersion requires at least PHP version 5.2.3, you are using PHP $phpVersion.";
+	$message = "MediaWiki $mwVersion requires at least PHP version 5.3.2, you are using PHP $phpVersion.";
 	if( $type == 'index.php' ) {
 		$encLogo = htmlspecialchars(
 			str_replace( '//', '/', pathinfo( $_SERVER['SCRIPT_NAME'], PATHINFO_DIRNAME ) . '/'
-- 
2.20.1