From 5b5b800e700b4bbd91f9bc0fdacd381375b2192d Mon Sep 17 00:00:00 2001
From: =?utf8?q?=C3=86var=20Arnfj=C3=B6r=C3=B0=20Bjarmason?=
 <avar@users.mediawiki.org>
Date: Thu, 31 Mar 2005 02:27:31 +0000
Subject: [PATCH] <? => <?php

---
 index.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.php b/index.php
index 6fc5565c76..357fae1616 100644
--- a/index.php
+++ b/index.php
@@ -34,7 +34,7 @@ if( !file_exists( 'LocalSettings.php' ) ) {
 		
 		<h1>MediaWiki <?php echo $wgVersion ?></h1>
 		<div class='error'>
-		<?
+		<?php
 		if ( file_exists( 'config/LocalSettings.php' ) ) {
 			echo( "To complete the installation, move <tt>config/LocalSettings.php</tt> to the parent directory." );
 		} else {
@@ -45,7 +45,7 @@ if( !file_exists( 'LocalSettings.php' ) ) {
 		</div>
 	</body>
 </html>
-<?
+<?php
 	die();
 }
 
-- 
2.20.1