From b0e2d6a33b18c435d053f8c2a3b267a3b2432b85 Mon Sep 17 00:00:00 2001
From: Nick Jenkins <nickj@users.mediawiki.org>
Date: Fri, 12 Jan 2007 06:02:56 +0000
Subject: [PATCH] $fullName not defined, changing to $path instead.

---
 maintenance/dumpHTML.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/maintenance/dumpHTML.inc b/maintenance/dumpHTML.inc
index 15d6871785..19c7404e48 100644
--- a/maintenance/dumpHTML.inc
+++ b/maintenance/dumpHTML.inc
@@ -480,7 +480,7 @@ class DumpHTML {
 				print "Writing $file\n";
 				$file = fopen( $path, 'w' );
 				if ( !$file ) {
-					print("Can't open file $fullName for writing\n");
+					print("Can't open file $path for writing\n");
 					continue;
 				}
 				fwrite( $file, $text );
-- 
2.20.1