# 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;
function getArticleHTML( $title ) {
global $wgOut, $wgTitle, $wgArticle, $wgUser;
+ if ( $this->debug ) {
+ print $title->getPrefixedDBkey() . "\n";
+ }
$linkCache =& LinkCache::singleton();
$linkCache->clear();
$wgTitle = $title;
'compress' => $options['compress'],
'noSharedDesc' => $options['no-shared-desc'],
'udpProfile' => $options['udp-profile'],
+ 'debug' => $options['debug'],
));