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)
commit1bbb93c6871cbf5087ce5c18f3d8038b434a91e9
treec71f2e60e0486dbfd9cb10cbe21bc540a2ba0feb
parent0d9c666dc70f1b0a15703c4932947b18cfbcc734
Add a define guard to NoLocalSettings.php

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

Change-Id: Id90ede9c3dc5b340fc27a61d2b41f1517482d21b
includes/templates/NoLocalSettings.php