Update to MediaWiki 1.20.2

this update includes:
* adjusted Arch Linux skin
* updated FluxBBAuthPlugin
* patch for https://bugzilla.wikimedia.org/show_bug.cgi?id=44024

1 files changed, 0 insertions, 38 deletions

diff --git a/maintenance/purgeStaleMemcachedText.php b/maintenance/purgeStaleMemcachedText.php
deleted file mode 100644
index fc9a6a89..00000000
--- a/maintenance/purgeStaleMemcachedText.php
+++ /dev/null
@@ -1,38 +0,0 @@
-<?php
-/**
- * @ingroup Maintenance Memcached
- * @file
- */
-
-require_once( dirname( __FILE__ ) . '/commandLine.inc' );
-
-function purgeStaleMemcachedText() {
-	global $wgMemc, $wgDBname;
-	$db = wfGetDB( DB_MASTER );
-	$maxTextId = $db->selectField( 'text', 'max(old_id)' );
-	$latestReplicatedTextId = $db->selectField( array( 'recentchanges', 'revision' ), 'rev_text_id', 
-		array( 'rev_id = rc_this_oldid', "rc_timestamp < '20101225183000'"),  'purgeStaleMemcachedText', 
-		array( 'ORDER BY' => 'rc_timestamp DESC' ) );
-	$latestReplicatedTextId -= 100; # A bit of paranoia
-
-	echo "Going to purge text entries from $latestReplicatedTextId to $maxTextId in $wgDBname\n";
-
-	for ( $i = $latestReplicatedTextId; $i < $maxTextId; $i++ ) {
-		$key = wfMemcKey( 'revisiontext', 'textid', $i );
-		
-		while (1) {
-			if (! $wgMemc->delete( $key ) ) {
-				echo "Memcache delete for $key returned false\n";
-			}
-			if ( $wgMemc->get( $key ) ) {
-				echo "There's still content in $key!\n";
-			} else {
-				break;
-			}
-		}
-		
-	}
-}
-
-purgeStaleMemcachedText();
-