From 1bbb93c6871cbf5087ce5c18f3d8038b434a91e9 Mon Sep 17 00:00:00 2001
From: Platonides <platonides@gmail.com>
Date: Mon, 25 Feb 2013 21:48:36 +0100
Subject: [PATCH] Add a define guard to NoLocalSettings.php

NoLocalSettings.php is only loaded from WebStart,
after defining MEDIAWIKI.

Change-Id: Id90ede9c3dc5b340fc27a61d2b41f1517482d21b
---
 includes/templates/NoLocalSettings.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/includes/templates/NoLocalSettings.php b/includes/templates/NoLocalSettings.php
index bf5c487a6f..2483e58c23 100644
--- a/includes/templates/NoLocalSettings.php
+++ b/includes/templates/NoLocalSettings.php
@@ -21,6 +21,10 @@
  * @ingroup Templates
  */
 
+if ( !defined( 'MEDIAWIKI' ) ) {
+        die( "NoLocalSettings.php is not a valid MediaWiki entry point\n" );
+}
+
 if ( !isset( $wgVersion ) ) {
 	$wgVersion = 'VERSION';
 }
-- 
2.20.1