From a58285fd06c8113c45377c655dd43cef6337e815 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 11 Jan 2007 19:06:07 +0000
Subject: Aktualisierung auf MediaWiki 1.9.0

---
 maintenance/update.php | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

(limited to 'maintenance/update.php')

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";
 
-- 
cgit v1.2.2