update to Mediawiki 1.13.3; some cleanups

1 files changed, 0 insertions, 28 deletions

diff --git a/maintenance/redundanttrans.php b/maintenance/redundanttrans.php
deleted file mode 100644
index de096863..00000000
--- a/maintenance/redundanttrans.php
+++ /dev/null
@@ -1,28 +0,0 @@
-<?php
-/**
- * Prints out messages that are no longer used.
- *
- * @package MediaWiki
- * @subpackage Maintenance
- */
-
-require_once('commandLine.inc');
-
-if ( 'en' == $wgLanguageCode ) {
-	print "Current selected language is English. Cannot check translations.\n";
-	exit();
-}
-
-$count = $total = 0;
-$msgarray = 'wgAllMessages' . ucfirst( $wgLanguageCode );
-
-foreach ( $$msgarray as $code => $msg ) {
-	++$total;
-	if ( ! array_key_exists( $code, $wgAllMessagesEn ) ) {
-		print "* $code\n";
-		++$count;
-	}
-}
-
-print "{$count} messages of {$total} are redundant\n";
-?>