From e153034fd30226a966fcd073593c2911ce329525 Mon Sep 17 00:00:00 2001
From: Arne Heizmann <timwi@users.mediawiki.org>
Date: Sat, 31 Jul 2004 12:46:08 +0000
Subject: [PATCH] Some info re extensions

---
 LocalSettings.sample | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/LocalSettings.sample b/LocalSettings.sample
index 1ab1b4bc6f..b78d3f0796 100644
--- a/LocalSettings.sample
+++ b/LocalSettings.sample
@@ -19,7 +19,6 @@
 # You can get some useful informations online at:
 # http://meta.wikipedia.org/wiki/LocalSettings.php
 
-
 # The most important setting is here: $IP is the installation
 # path for the software. In the example below, the htdocs
 # dir should be set as the DocumentRoot in the httpd.conf
@@ -29,12 +28,15 @@
 #
 $IP = "/usr/local/apache/htdocs/wiki";
 
-
 ## Don't change this bit; install.php needs it.
 #
 if ( ! isset( $DP ) ) { $DP = $IP; }
 include_once( "$DP/DefaultSettings.php" );
 
+# If you wish to enable third-party extensions, you do that
+# using an include_once statement here. Make sure, however,
+# that DefaultSettings.php (above) is included first.
+
 ## Please customize!
 #
 $wgSitename         = "MediaWiki";
-- 
2.20.1