3 // Manually run an SQL patch outside of the general updaters.
4 // This ensures that the DB options (charset, prefix, engine) are correctly set.
6 require_once 'commandLine.inc';
7 require_once "$IP/maintenance/updaters.inc";
10 foreach( $args as $arg ) {
14 archive( "patch-$arg.sql" ),
16 foreach( $files as $file ) {
17 if( file_exists( $file ) ) {
23 echo "Could not find $arg\n";
27 echo "Run an SQL file into the DB, replacing prefix and charset vars.\n";
29 echo " php maintenance/patchSql.php file1.sql file2.sql ...\n";
31 echo "Paths in maintenance/archive are automatically expanded if a local file isn't found.\n";