Fix #4418: remove $id and $header that causes conflicts
authorAntoine Musso <hashar@users.mediawiki.org>
Tue, 3 Jan 2006 11:59:39 +0000 (11:59 +0000)
committerAntoine Musso <hashar@users.mediawiki.org>
Tue, 3 Jan 2006 11:59:39 +0000 (11:59 +0000)
maintenance/namespace2sql.php
profileinfo.php

index def0336..8084bfe 100644 (file)
@@ -1,5 +1,4 @@
 <?php
 <?php
-# $Header$
 #
 # Print SQL to insert namespace names into database.
 # This source code is in the public domain.
 #
 # Print SQL to insert namespace names into database.
 # This source code is in the public domain.
index 2f54fea..bdc235b 100644 (file)
@@ -21,7 +21,6 @@
      OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
      SOFTWARE.
 
      OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
      SOFTWARE.
 
-     $Id$
 -->
 <html>
 <head>
 -->
 <html>
 <head>