Add a define guard to NoLocalSettings.php
authorPlatonides <platonides@gmail.com>
Mon, 25 Feb 2013 20:48:36 +0000 (21:48 +0100)
committerPlatonides <platonides@gmail.com>
Mon, 25 Feb 2013 22:10:08 +0000 (23:10 +0100)
NoLocalSettings.php is only loaded from WebStart,
after defining MEDIAWIKI.

Change-Id: Id90ede9c3dc5b340fc27a61d2b41f1517482d21b

includes/templates/NoLocalSettings.php

index bf5c487..2483e58 100644 (file)
  * @ingroup Templates
  */
 
+if ( !defined( 'MEDIAWIKI' ) ) {
+        die( "NoLocalSettings.php is not a valid MediaWiki entry point\n" );
+}
+
 if ( !isset( $wgVersion ) ) {
        $wgVersion = 'VERSION';
 }