Update to MediaWiki 1.18.0

* also update ArchLinux skin to chagnes in MonoBook
* Use only css to hide our menu bar when printing

1 files changed, 43 insertions, 0 deletions

diff --git a/maintenance/purgeParserCache.php b/maintenance/purgeParserCache.php
new file mode 100644
index 00000000..4b550b6e
--- /dev/null
+++ b/maintenance/purgeParserCache.php
@@ -0,0 +1,43 @@
+<?php
+
+require( dirname( __FILE__ ) . '/Maintenance.php' );
+
+class PurgeParserCache extends Maintenance {
+	function __construct() {
+		parent::__construct();
+		$this->addDescription( "Remove old objects from the parser cache. " . 
+			"This only works when the parser cache is in an SQL database." );
+		$this->addOption( 'expiredate', 'Delete objects expiring before this date.', false, true );
+		$this->addOption( 'age', 
+			'Delete objects created more than this many seconds ago, assuming $wgParserCacheExpireTime '.
+				'has been consistent.',	
+			false, true );
+	}
+
+	function execute() {
+		$inputDate = $this->getOption( 'expiredate' );
+		$inputAge = $this->getOption( 'age' );
+		if ( $inputDate !== null ) {
+			$date = wfTimestamp( TS_MW, strtotime( $inputDate ) );
+		} elseif ( $inputAge !== null ) {
+			global $wgParserCacheExpireTime;
+			$date = wfTimestamp( TS_MW, time() + $wgParserCacheExpireTime - intval( $inputAge ) );
+		} else {
+			echo "Must specify either --expiredate or --age\n";
+			exit( 1 );
+		}
+
+		$english = Language::factory( 'en' );
+		echo "Deleting objects expiring before " . $english->timeanddate( $date ) . "\n";
+
+		$pc = wfGetParserCacheStorage();
+		$success = $pc->deleteObjectsExpiringBefore( $date );
+		if ( !$success ) {
+			echo "Cannot purge this kind of parser cache.\n";
+			exit( 1 );
+		}
+		echo "Done\n";
+	}
+}
+$maintClass = 'PurgeParserCache';
+require_once( RUN_MAINTENANCE_IF_MAIN );