Index: trunk/phase3/maintenance/dumpHTML.php |
— | — | @@ -26,10 +26,11 @@ |
27 | 27 | * --interlang allow interlanguage links |
28 | 28 | * --image-snapshot copy all images used to the destination directory |
29 | 29 | * --compress generate compressed version of the html pages |
| 30 | + * --udp-profile <N> profile 1/N rendering operations using ProfilerSimpleUDP |
30 | 31 | */ |
31 | 32 | |
32 | 33 | |
33 | | -$optionsWithArgs = array( 's', 'd', 'e', 'k', 'checkpoint', 'slice' ); |
| 34 | +$optionsWithArgs = array( 's', 'd', 'e', 'k', 'checkpoint', 'slice', 'udp-profile' ); |
34 | 35 | |
35 | 36 | $profiling = false; |
36 | 37 | |
— | — | @@ -43,6 +44,10 @@ |
44 | 45 | } |
45 | 46 | } |
46 | 47 | |
| 48 | +if ( in_array( '--udp-profile', $argv ) ) { |
| 49 | + define( 'MW_FORCE_PROFILE', 1 ); |
| 50 | +} |
| 51 | + |
47 | 52 | require_once( "commandLine.inc" ); |
48 | 53 | require_once( "dumpHTML.inc" ); |
49 | 54 | |
— | — | @@ -96,6 +101,7 @@ |
97 | 102 | 'noOverwrite' => $options['no-overwrite'], |
98 | 103 | 'compress' => $options['compress'], |
99 | 104 | 'noSharedDesc' => $options['no-shared-desc'], |
| 105 | + 'udpProfile' => $options['udp-profile'], |
100 | 106 | )); |
101 | 107 | |
102 | 108 | |