From 5b815803843adab8f278e77095ecdc06c859e9f9 Mon Sep 17 00:00:00 2001
From: Luke Murphy <lukewm@riseup.net>
Date: Tue, 16 Feb 2021 17:00:43 +0100
Subject: [PATCH] Drop default header

---
 LocalSettings.php.tmpl | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/LocalSettings.php.tmpl b/LocalSettings.php.tmpl
index b85d9cc..6fa14e6 100644
--- a/LocalSettings.php.tmpl
+++ b/LocalSettings.php.tmpl
@@ -1,14 +1,4 @@
 <?php
-# This file was automatically generated by the MediaWiki 1.32.1
-# installer. If you make manual changes, please keep track in case you
-# need to recreate them later.
-#
-# See includes/DefaultSettings.php for all configurable settings
-# and their default values, but don't forget to make changes in _this_
-# file, not there.
-#
-# Further documentation for configuration settings may be found at:
-# https://www.mediawiki.org/wiki/Manual:Configuration_settings
 
 # Protect against web entry
 if ( !defined( 'MEDIAWIKI' ) ) {