Update to MediaWiki 1.18.3

3 files changed, 4 insertions, 4 deletions

diff --git a/maintenance/dtrace/counts.d b/maintenance/dtrace/counts.d
index 13725d99..bedb4547 100644
--- a/maintenance/dtrace/counts.d
+++ b/maintenance/dtrace/counts.d
@@ -1,7 +1,7 @@
 /*
  * This software is in the public domain.
  *
- * $Id: counts.d 10510 2005-08-15 01:46:19Z kateturner $
+ * $Id$
  */
 
 #pragma D option quiet
diff --git a/maintenance/dtrace/tree.d b/maintenance/dtrace/tree.d
index 2f16e41d..a799cb12 100644
--- a/maintenance/dtrace/tree.d
+++ b/maintenance/dtrace/tree.d
@@ -1,7 +1,7 @@
 /*
  * This software is in the public domain.
  *
- * $Id: tree.d 10510 2005-08-15 01:46:19Z kateturner $
+ * $Id$
  */
 
 #pragma D option quiet
diff --git a/maintenance/postgres/mediawiki_mysql2postgres.pl b/maintenance/postgres/mediawiki_mysql2postgres.pl
index 16012762..9133477e 100644
--- a/maintenance/postgres/mediawiki_mysql2postgres.pl
+++ b/maintenance/postgres/mediawiki_mysql2postgres.pl
@@ -1,7 +1,7 @@
 #!/usr/bin/perl
 
 ## Convert data from a MySQL mediawiki database into a Postgres mediawiki database
-## svn: $Id: mediawiki_mysql2postgres.pl 86721 2011-04-22 18:47:17Z mah $
+## svn: $Id$
 
 ## NOTE: It is probably easier to dump your wiki using maintenance/dumpBackup.php
 ## and then import it with maintenance/importDump.php
@@ -181,7 +181,7 @@ $MYSQLSOCKET and $conninfo .= "\n--   socket    $MYSQLSOCKET";
 print qq{
 -- Dump of MySQL Mediawiki tables for import into a Postgres Mediawiki schema
 -- Performed by the program: $0
--- Version: $VERSION (subversion }.q{$LastChangedRevision: 86721 $}.qq{)
+-- Version: $VERSION (subversion }.q{$LastChangedRevision$}.qq{)
 -- Author: Greg Sabino Mullane <greg\@turnstep.com> Comments welcome
 --
 -- This file was created: $now