| Index: trunk/phase3/maintenance/update.php |
| — | — | @@ -19,7 +19,12 @@ |
| 20 | 20 | |
| 21 | 21 | echo( "MediaWiki {$wgVersion} Updater\n\n" ); |
| 22 | 22 | |
| 23 | | -install_version_checks(); |
| | 23 | +if( !isset( $options['skip-compat-checks'] ) ) { |
| | 24 | + install_version_checks(); |
| | 25 | +} else { |
| | 26 | + print "Skipping compatibility checks, proceed at your own risk (Ctrl+C to abort)\n"; |
| | 27 | + wfCountdown(5); |
| | 28 | +} |
| 24 | 29 | |
| 25 | 30 | # Attempt to connect to the database as a privileged user |
| 26 | 31 | # This will vomit up an error if there are permissions problems |