From 396b28f3d881f5debd888ba9bb9b47c2d478a76f Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Mon, 15 Dec 2008 18:02:47 +0100 Subject: update to Mediawiki 1.13.3; some cleanups --- maintenance/redundanttrans.php | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 maintenance/redundanttrans.php (limited to 'maintenance/redundanttrans.php') 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 @@ - $msg ) { - ++$total; - if ( ! array_key_exists( $code, $wgAllMessagesEn ) ) { - print "* $code\n"; - ++$count; - } -} - -print "{$count} messages of {$total} are redundant\n"; -?> -- cgit v1.2.3-54-g00ecf