From c4372dd38a4d109b4f3881ea63b667e33adbe503 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 26 Apr 2012 18:23:31 +0200 Subject: Update to MediaWiki 1.18.3 --- maintenance/dtrace/counts.d | 2 +- maintenance/dtrace/tree.d | 2 +- maintenance/postgres/mediawiki_mysql2postgres.pl | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) (limited to 'maintenance') 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 Comments welcome -- -- This file was created: $now -- cgit v1.2.2