Ahh, so that's what that does
authorTim Starling <tstarling@users.mediawiki.org>
Thu, 12 Aug 2004 06:54:58 +0000 (06:54 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Thu, 12 Aug 2004 06:54:58 +0000 (06:54 +0000)
img_auth.php
includes/DefaultSettings.php
includes/Namespace.php
includes/OutputPage.php
includes/Setup.php
includes/Skin.php
includes/SkinPHPTal.php
index.php

index 02240ce..803ec15 100644 (file)
@@ -5,7 +5,9 @@
 # everyone to be able to access. Your server must support PATH_INFO, CGI-based configurations
 # generally don't. 
 
+# Valid web server entry point, enable includes
 define( "MEDIAWIKI", true );
+
 require_once( "./LocalSettings.php" );
 require_once( "includes/Setup.php" );
 
index 5af479e..a757a54 100644 (file)
@@ -1,5 +1,4 @@
 <?php
-if( defined( "MEDIAWIKI" ) ) {
 
 # $Id$
 # DO NOT EDIT THIS FILE!
@@ -9,6 +8,9 @@ if( defined( "MEDIAWIKI" ) ) {
 # like $wgScriptPath, you must also localize everything that
 # depends on it.
 
+# This is not a valid entry point, perform no further processing unless MEDIAWIKI is defined
+if( defined( "MEDIAWIKI" ) ) {
+
 $wgVersion                     = '1.3.0+';
 
 $wgSitename         = 'MediaWiki'; # Please customize!
index bba5deb..3ef9dcc 100644 (file)
@@ -1,4 +1,6 @@
 <?php
+
+# This is not a valid entry point, perform no further processing unless MEDIAWIKI is defined
 if( defined( "MEDIAWIKI" ) ) {
 
 # This is a utility class with only static functions
index 21fbe70..f0a4a28 100644 (file)
@@ -1,4 +1,6 @@
 <?php
+
+# This is not a valid entry point, perform no further processing unless MEDIAWIKI is defined
 if( defined( "MEDIAWIKI" ) ) {
 
 # See design.doc
index e898d1f..6a5063e 100644 (file)
@@ -1,4 +1,6 @@
 <?php
+
+# This file is not a valid entry point, perform no further processing unless MEDIAWIKI is defined
 if( defined( "MEDIAWIKI" ) ) {
 
 # The main wiki script and things like database
index 712fa9e..758d314 100644 (file)
@@ -1,4 +1,6 @@
 <?php
+
+# This is not a valid entry point, perform no further processing unless MEDIAWIKI is defined
 if( defined( "MEDIAWIKI" ) ) {
 
 # See skin.doc
index 0763531..2c324a4 100644 (file)
@@ -26,6 +26,8 @@
 # 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 # http://www.gnu.org/copyleft/gpl.html
 
+
+# This is not a valid entry point, perform no further processing unless MEDIAWIKI is defined
 if( defined( "MEDIAWIKI" ) ) {
        require_once "GlobalFunctions.php";
        global $IP;
index 8341741..dc9780a 100644 (file)
--- a/index.php
+++ b/index.php
@@ -10,7 +10,9 @@ if(!file_exists("LocalSettings.php")) {
        die( "You'll have to <a href='config/index.php'>set the wiki up</a> first!" );
 }
 
+# Valid web server entry point, enable includes
 define( "MEDIAWIKI", true );
+
 require_once( "./includes/Defines.php" );
 require_once( "./LocalSettings.php" );
 require_once( "includes/Setup.php" );