update to Mediawiki 1.13.3; some cleanups

1 files changed, 0 insertions, 21 deletions

diff --git a/maintenance/trivialCmdLine.php b/maintenance/trivialCmdLine.php
deleted file mode 100644
index 2f12815f..00000000
--- a/maintenance/trivialCmdLine.php
+++ /dev/null
@@ -1,21 +0,0 @@
-<?php
-/**
- * @package MediaWiki
- * @subpackage Maintenance
- */
-
-/** */
-require_once( "commandLine.inc" );
-# print "DB name: $wgDBname\n";
-# print "DB user: $wgDBuser\n";
-# print "DB password: $wgDBpassword\n";
-
-print "This is an example command-line maintenance script.\n";
-
-$dbr =& wfGetDB( DB_SLAVE );
-$page = $dbr->tableName( 'page' );
-$res = $dbr->query( "SELECT MAX(page_id) as m FROM $page" );
-$row = $dbr->fetchObject( $res );
-print "Max page_id: {$row->m}\n";
-
-?>