fileSource( $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"; }