Aktualisierung auf MediaWiki 1.9.0

1 files changed, 4 insertions, 7 deletions

diff --git a/maintenance/update.php b/maintenance/update.php
index 402818ce..490c3f63 100644
--- a/maintenance/update.php
+++ b/maintenance/update.php
@@ -10,7 +10,7 @@ require_once 'counter.php';
 
 /** */
 $wgUseMasterForMaintenance = true;
-$options = array( 'quick' );
+$options = array( 'quick', 'nopurge' );
 require_once( "commandLine.inc" );
 require_once( "updaters.inc" );
 $wgTitle = Title::newFromText( "MediaWiki database updater" );
@@ -54,13 +54,10 @@ if( !isset( $options['quick'] ) ) {
 	echo "\n";
 }
 
-if ( isset( $options['doshared'] ) ) {
-	$doShared = true;
-} else {
-	$doShared = false;
-}
+$shared = isset( $options['doshared'] );
+$purge = !isset( $options['nopurge'] );
 
-do_all_updates( $doShared );
+do_all_updates( $shared, $purge );
 
 print "Done.\n";