From 34e3b75f483a3b1092f5d16ad8c327d5f2d6d993 Mon Sep 17 00:00:00 2001
From: Sam Reed <reedy@users.mediawiki.org>
Date: Mon, 18 Jul 2011 23:04:09 +0000
Subject: [PATCH] Revert 2 from r92498

---
 includes/DefaultSettings.php | 2 +-
 includes/PHPVersionError.php | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 9e344f03bc..e5323e7b32 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -33,7 +33,7 @@ $wgConf = new SiteConfiguration;
 /** @endcond */
 
 /** MediaWiki version number */
-$wgVersion = '1.18';
+$wgVersion = '1.19alpha';
 
 /** Name of the site. It must be changed in LocalSettings.php */
 $wgSitename         = 'MediaWiki';
diff --git a/includes/PHPVersionError.php b/includes/PHPVersionError.php
index 91502a4ce0..26823fc6ca 100644
--- a/includes/PHPVersionError.php
+++ b/includes/PHPVersionError.php
@@ -17,7 +17,7 @@
  * version are hardcoded here
  */
 function wfPHPVersionError( $type ){
-	$mwVersion = '1.18';
+	$mwVersion = '1.19';
 	$phpVersion = PHP_VERSION;
 	$message = "MediaWiki $mwVersion requires at least PHP version 5.2.3, you are using PHP $phpVersion.";
 	if( $type == 'index.php' ) {
-- 
2.20.1