From ca32f08966f1b51fcb19460f0996bb0c4048e6fe Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Sat, 3 Dec 2011 13:29:22 +0100 Subject: Update to MediaWiki 1.18.0 * also update ArchLinux skin to chagnes in MonoBook * Use only css to hide our menu bar when printing --- maintenance/purgeParserCache.php | 43 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 maintenance/purgeParserCache.php (limited to 'maintenance/purgeParserCache.php') 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 @@ +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 ); -- cgit v1.2.2