From: Tim Starling <tstarling@users.mediawiki.org>
Date: Sat, 18 Nov 2006 05:19:07 +0000 (+0000)
Subject: embryonic profiling feature
X-Git-Tag: 1.31.0-rc.0~55154
X-Git-Url: https://git.cyclocoop.org/%28%28?a=commitdiff_plain;h=900cf95baa9362c6ae72bc38a5c458a62a4cdb9f;p=lhc%2Fweb%2Fwiklou.git

embryonic profiling feature
---

diff --git a/maintenance/dumpHTML.php b/maintenance/dumpHTML.php
index 12b6fc263e..2c0c29c447 100644
--- a/maintenance/dumpHTML.php
+++ b/maintenance/dumpHTML.php
@@ -26,10 +26,11 @@
  * --interlang          allow interlanguage links
  * --image-snapshot     copy all images used to the destination directory
  * --compress           generate compressed version of the html pages
+ * --udp-profile <N>    profile 1/N rendering operations using ProfilerSimpleUDP
  */
 
 
-$optionsWithArgs = array( 's', 'd', 'e', 'k', 'checkpoint', 'slice' );
+$optionsWithArgs = array( 's', 'd', 'e', 'k', 'checkpoint', 'slice', 'udp-profile' );
 
 $profiling = false;
 
@@ -43,6 +44,10 @@ if ( $profiling ) {
 	}
 }
 
+if ( in_array( '--udp-profile', $argv ) ) {
+	define( 'MW_FORCE_PROFILE', 1 );
+}
+
 require_once( "commandLine.inc" );
 require_once( "dumpHTML.inc" );
 
@@ -96,6 +101,7 @@ $wgHTMLDump = new DumpHTML( array(
 	'noOverwrite' => $options['no-overwrite'],
 	'compress' => $options['compress'],
 	'noSharedDesc' => $options['no-shared-desc'],
+	'udpProfile' => $options['udp-profile'],
 ));