From 9d468e46d0553aca4a1f8bee27e7aba9d477005a Mon Sep 17 00:00:00 2001 From: Tim Starling Date: Sat, 14 May 2005 09:24:21 +0000 Subject: [PATCH] friendlier error message --- includes/DefaultSettings.php | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 6b3c96cdb8..bfdd8c521b 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -13,7 +13,9 @@ */ # This is not a valid entry point, perform no further processing unless MEDIAWIKI is defined -if( defined( 'MEDIAWIKI' ) ) { +if( !defined( 'MEDIAWIKI' ) ) { + die( "This file is part of MediaWiki and is not a valid entry point\n" ); +} /** MediaWiki version number */ $wgVersion = '1.5alpha1'; @@ -1323,8 +1325,4 @@ $wgCountCategorizedImagesAsUsed = false; * CAUTION: Access to database might lead to code execution */ $wgExternalStores = false; - -} else { - die(); -} ?> -- 2.20.1