Apply live hack from Wikimedia codebase: --debug option for dumpHTML

diff --git a/maintenance/dumpHTML.inc b/maintenance/dumpHTML.inc
index 18f5a9d..5a695aa 100644 (file)
--- a/maintenance/dumpHTML.inc
+++ b/maintenance/dumpHTML.inc
@@ -76,6 +76,9 @@ class DumpHTML {
        # UDP profiling
        var $udpProfile, $udpProfileCounter = 0, $udpProfileInit = false;
 
+       # Debug level
+       var $debug = 0;
+
        function DumpHTML( $settings = array() ) {
                foreach ( $settings as $var => $value ) {
                        $this->$var = $value;
@@ -625,6 +628,9 @@ class DumpHTML {
        function getArticleHTML( $title ) {
                global $wgOut, $wgTitle, $wgArticle, $wgUser;
 
+               if ( $this->debug ) {
+                       print $title->getPrefixedDBkey() . "\n";
+               }
                $linkCache =& LinkCache::singleton();
                $linkCache->clear();
                $wgTitle = $title;

diff --git a/maintenance/dumpHTML.php b/maintenance/dumpHTML.php
index b5e09f9..87401dc 100644 (file)
--- a/maintenance/dumpHTML.php
+++ b/maintenance/dumpHTML.php
@@ -108,6 +108,7 @@ $wgHTMLDump = new DumpHTML( array(
        'compress' => $options['compress'],
        'noSharedDesc' => $options['no-shared-desc'],
        'udpProfile' => $options['udp-profile'],
+       'debug' => $options['debug'],
 ));