From: Brion Vibber <brion@users.mediawiki.org>
Date: Wed, 19 Mar 2008 22:25:20 +0000 (+0000)
Subject: Handy script to manually run a single sql patch file, with all the necessary options... 
X-Git-Tag: 1.31.0-rc.0~48969
X-Git-Url: http://git.cyclocoop.org//%22javascript:ModifierStyle%28%27%22.%24id.%22%27%29/%22?a=commitdiff_plain;h=a4532a246f0656d98faa3f3cea802e9b542486bd;p=lhc%2Fweb%2Fwiklou.git

Handy script to manually run a single sql patch file, with all the necessary options expanded (prefix, charset, etc).
Commands like 'php maintenance/patchSql.php updatelog category'
---

diff --git a/maintenance/patchSql.php b/maintenance/patchSql.php
new file mode 100644
index 0000000000..9e2b5cacb9
--- /dev/null
+++ b/maintenance/patchSql.php
@@ -0,0 +1,32 @@
+<?php
+
+// Manually run an SQL patch outside of the general updaters.
+// This ensures that the DB options (charset, prefix, engine) are correctly set.
+
+require_once 'commandLine.inc';
+require_once "$IP/maintenance/updaters.inc";
+
+if( $args ) {
+	foreach( $args as $arg ) {
+		$files = array(
+			$arg,
+			archive( $arg ),
+			archive( "patch-$arg.sql" ),
+		);
+		foreach( $files as $file ) {
+			if( file_exists( $file ) ) {
+				echo "$file ...\n";
+				dbsource( $file );
+				continue 2;
+			}
+		}
+		echo "Could not find $arg\n";
+	}
+	echo "done.\n";
+} else {
+	echo "Run an SQL file into the DB, replacing prefix and charset vars.\n";
+	echo "Usage:\n";
+	echo "  php maintenance/patchSql.php file1.sql file2.sql ...\n";
+	echo "\n";
+	echo "Paths in maintenance/archive are automatically expanded if a local file isn't found.\n";
+}