From e7a00df4c920e097b0ff06246ceec2ef693badb3 Mon Sep 17 00:00:00 2001
From: Antoine Musso <hashar@users.mediawiki.org>
Date: Tue, 3 Jan 2006 11:59:39 +0000
Subject: [PATCH] Fix #4418: remove $id and $header that causes conflicts

---
 maintenance/namespace2sql.php | 1 -
 profileinfo.php               | 1 -
 2 files changed, 2 deletions(-)
diff --git a/maintenance/namespace2sql.php b/maintenance/namespace2sql.php
index def033660c..8084bfec60 100644
--- a/maintenance/namespace2sql.php
+++ b/maintenance/namespace2sql.php
@@ -1,5 +1,4 @@
 <?php
-# $Header$
 #
 # Print SQL to insert namespace names into database.
 # This source code is in the public domain.
diff --git a/profileinfo.php b/profileinfo.php
index 2f54fea010..bdc235bdc3 100644
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -21,7 +21,6 @@
      OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
      SOFTWARE.
 
-     $Id$
 -->
 <html>
 <head>
-- 
2.20.1

