From 77792e7e89465893426cec82322d978bfb8b1e96 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Sun, 19 Jun 2005 01:30:56 +0000
Subject: [PATCH] nicer formatting

---
 maintenance/dumpRev.php | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/maintenance/dumpRev.php b/maintenance/dumpRev.php
index fd6c31f93a..b665d93d1c 100644
--- a/maintenance/dumpRev.php
+++ b/maintenance/dumpRev.php
@@ -8,7 +8,13 @@
 /** */
 require_once( 'commandLine.inc' );
 $dbr =& wfGetDB( DB_SLAVE );
-$row = $dbr->selectRow( 'old', array( 'old_flags', 'old_text' ), array( 'old_id' => 52 ) );
+$row = $dbr->selectRow( 'old', array( 'old_flags', 'old_text' ), array( 'old_id' => $args[0] ) );
 $obj = unserialize( $row->old_text );
-print_r( array_keys( $obj->mItems ) );
-?>
\ No newline at end of file
+
+if ( get_class( $obj ) == 'concatenatedgziphistoryblob' ) {
+	print_r( array_keys( $obj->mItems ) );
+} else {
+	var_dump( $obj );
+}
+
+?>
-- 
2.20.1