wp-sql-domain-changer.php

<?
/**
 * @param string $olddomain
 * @param string $newdomain
 * @param string $infile
 * @param string $outfile
 * @return int|bool
 */
function wp_sql_domain_changer ($olddomain, $newdomain, $infile = null, $outfile = null) {
	$infile = ($infile === null) ? 'input.sql' : $infile;
	$outfile = ($outfile === null) ? 'output.sql' : $outfile;
	$c = file_get_contents ($infile);
	$c = str_replace ($olddomain, $newdomain, $c);
	return file_put_contents ($outfile, $c);
}

/**
 * @return array
 */
function get_argv ()
{
	$argvs = array ();

	$params = $_SERVER['argv'];
	if (sizeof ($params) > 1) {
		array_shift ($params);
		foreach ($params as $param) {
			@list ($key, $value) = @explode ("=", $param);

			if ($value === null)
				$argvs[ ] = $key;
			else
				$argvs[ $key ] = $value;
		}
	}

	return $argvs;
}

$argvs = get_argv ();
if (sizeof ($argvs) < 2) {
	die ("Usage: php ".basename(__FILE__)." old.domain.it new.domain.it [input.sql] [output.sql]" . PHP_EOL . PHP_EOL);
}

wp_sql_domain_changer ($argvs[0], $argvs[1], @$argvs[2], @$argvs[3]);