update to Mediawiki 1.13.3; some cleanups

1 files changed, 0 insertions, 30 deletions

diff --git a/maintenance/langmemusage.php b/maintenance/langmemusage.php
deleted file mode 100644
index d45de0e4..00000000
--- a/maintenance/langmemusage.php
+++ /dev/null
@@ -1,30 +0,0 @@
-<?php
-/**
- * Dumb program that tries to get the memory usage
- * for each language file.
- */
-
-/** This is a command line script */
-require_once('commandLine.inc');
-require_once('languages.inc');
-
-$langtool = new languages();
-
-if ( ! function_exists( 'memory_get_usage' ) )
-	wfDie( "You must compile PHP with --enable-memory-limit\n" );
-
-$memlast = $memstart = memory_get_usage();
-
-print 'Base memory usage: '.$memstart."\n";
-
-foreach($langtool->getList() as $langcode) {
-	require_once('languages/Language'.$langcode.'.php');
-	$memstep = memory_get_usage();
-	printf( "%12s: %d\n", $langcode, ($memstep- $memlast) );
-	$memlast = $memstep;
-}
-
-$memend = memory_get_usage();
-
-echo ' Total Usage: '.($memend - $memstart)."\n";
-?>