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
-# $Header$
 #
 # 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.
 
-     $Id$
 -->
 <html>
 <head>