r17777 MediaWiki - Code Review archive

Repository:MediaWiki
Revision:r17776‎ | r17777 | r17778 >
Date:05:19, 18 November 2006
Author:tstarling
Status:old
Tags:
Comment:
embryonic profiling feature
Modified paths:
  • /trunk/phase3/maintenance/dumpHTML.php (modified) (history)

Diff [purge]

Index: trunk/phase3/maintenance/dumpHTML.php
@@ -26,10 +26,11 @@
2727 * --interlang allow interlanguage links
2828 * --image-snapshot copy all images used to the destination directory
2929 * --compress generate compressed version of the html pages
 30+ * --udp-profile <N> profile 1/N rendering operations using ProfilerSimpleUDP
3031 */
3132
3233
33 -$optionsWithArgs = array( 's', 'd', 'e', 'k', 'checkpoint', 'slice' );
 34+$optionsWithArgs = array( 's', 'd', 'e', 'k', 'checkpoint', 'slice', 'udp-profile' );
3435
3536 $profiling = false;
3637
@@ -43,6 +44,10 @@
4445 }
4546 }
4647
 48+if ( in_array( '--udp-profile', $argv ) ) {
 49+ define( 'MW_FORCE_PROFILE', 1 );
 50+}
 51+
4752 require_once( "commandLine.inc" );
4853 require_once( "dumpHTML.inc" );
4954
@@ -96,6 +101,7 @@
97102 'noOverwrite' => $options['no-overwrite'],
98103 'compress' => $options['compress'],
99104 'noSharedDesc' => $options['no-shared-desc'],
 105+ 'udpProfile' => $options['udp-profile'],
100106 ));
101107
102108