Let crazy people run updates on broken setups like 5.3.1

diff --git a/maintenance/update.php b/maintenance/update.php
index abd0beb..759c571 100644 (file)
--- a/maintenance/update.php
+++ b/maintenance/update.php
@@ -19,7 +19,12 @@ $wgTitle = Title::newFromText( "MediaWiki database updater" );
 
 echo( "MediaWiki {$wgVersion} Updater\n\n" );
 
-install_version_checks();
+if( !isset( $options['skip-compat-checks'] ) ) {
+       install_version_checks();
+} else {
+       print "Skipping compatibility checks, proceed at your own risk (Ctrl+C to abort)\n";
+       wfCountdown(5);
+}
 
 # Attempt to connect to the database as a privileged user
 # This will vomit up an error if there are permissions problems