summaryrefslogtreecommitdiff
path: root/maintenance/dumpHTML.php
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2007-01-11 19:06:07 +0000
committerPierre Schmitz <pierre@archlinux.de>2007-01-11 19:06:07 +0000
commita58285fd06c8113c45377c655dd43cef6337e815 (patch)
treedfe31d3d12652352fe44890b4811eda0728faefb /maintenance/dumpHTML.php
parent20194986f6638233732ba1fc3e838f117d3cc9ea (diff)
Aktualisierung auf MediaWiki 1.9.0
Diffstat (limited to 'maintenance/dumpHTML.php')
-rw-r--r--maintenance/dumpHTML.php13
1 files changed, 12 insertions, 1 deletions
diff --git a/maintenance/dumpHTML.php b/maintenance/dumpHTML.php
index 5e347e4b..2c0c29c4 100644
--- a/maintenance/dumpHTML.php
+++ b/maintenance/dumpHTML.php
@@ -17,6 +17,8 @@
* --checkpoint <file> use a checkpoint file to allow restarting of interrupted dumps
* --slice <n/m> split the job into m segments and do the n'th one
* --images only do image description pages
+ * --shared-desc only do shared (commons) image description pages
+ * --no-shared-desc don't do shared image description pages
* --categories only do category pages
* --redirects only do redirects
* --special only do miscellaneous stuff
@@ -24,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;
@@ -41,6 +44,10 @@ if ( $profiling ) {
}
}
+if ( in_array( '--udp-profile', $argv ) ) {
+ define( 'MW_FORCE_PROFILE', 1 );
+}
+
require_once( "commandLine.inc" );
require_once( "dumpHTML.inc" );
@@ -93,6 +100,8 @@ $wgHTMLDump = new DumpHTML( array(
'sliceDenominator' => $sliceDenominator,
'noOverwrite' => $options['no-overwrite'],
'compress' => $options['compress'],
+ 'noSharedDesc' => $options['no-shared-desc'],
+ 'udpProfile' => $options['udp-profile'],
));
@@ -104,6 +113,8 @@ if ( $options['special'] ) {
$wgHTMLDump->doCategories();
} elseif ( $options['redirects'] ) {
$wgHTMLDump->doRedirects();
+} elseif ( $options['shared-desc'] ) {
+ $wgHTMLDump->doSharedImageDescriptions();
} else {
print "Creating static HTML dump in directory $dest. \n";
$dbr =& wfGetDB( DB_SLAVE );