summaryrefslogtreecommitdiff
path: root/buildscripts/wikibuilder/dumpHTML.php
diff options
context:
space:
mode:
authorwei <>2006-10-12 07:30:33 +0000
committerwei <>2006-10-12 07:30:33 +0000
commit5abdafeb9ded0c1c41992f7b3758f1dc02255683 (patch)
treec5c344f0285e9b5dcd540eeaa1a701f47e14b4bb /buildscripts/wikibuilder/dumpHTML.php
parentde630e4134484cea82fd0a1864a45db3bd9974bc (diff)
add unified chm build (quickstart + API + classdocs + wiki)
Diffstat (limited to 'buildscripts/wikibuilder/dumpHTML.php')
-rw-r--r--buildscripts/wikibuilder/dumpHTML.php102
1 files changed, 102 insertions, 0 deletions
diff --git a/buildscripts/wikibuilder/dumpHTML.php b/buildscripts/wikibuilder/dumpHTML.php
new file mode 100644
index 00000000..d34e53ed
--- /dev/null
+++ b/buildscripts/wikibuilder/dumpHTML.php
@@ -0,0 +1,102 @@
+<?php
+/**
+ * @todo document
+ * @package MediaWiki
+ * @subpackage Maintenance
+ */
+
+/**
+ * Usage:
+ * php dumpHTML.php [options...]
+ *
+ * -d <dest> destination directory
+ * -s <start> start ID
+ * -e <end> end ID
+ * --images only do image description pages
+ * --categories only do category pages
+ * --special only do miscellaneous stuff
+ * --force-copy copy commons instead of symlink, needed for Wikimedia
+ * --interlang allow interlanguage links
+ */
+
+
+$optionsWithArgs = array( 's', 'd', 'e' );
+
+require_once($wiki_dir. "/maintenance/commandLine.inc" );
+require_once(dirname(__FILE__)."/dumpHTML.inc" );
+
+class DummyUser extends User
+{
+ function getSkin()
+ {
+ require_once(dirname(__FILE__).'/DumpSkin.php' );
+ $this->mSkin =& new DumpSkin;
+ return $this->mSkin;
+ }
+}
+
+class DumpTitle extends Title
+{
+ function getHashedDirectory()
+ {
+ return strtr(parent::getHashedDirectory(), '~:', '__');
+ }
+}
+
+error_reporting( E_ALL & (~E_NOTICE) );
+define( 'CHUNK_SIZE', 50 );
+
+if ( !empty( $options['s'] ) ) {
+ $start = $options['s'];
+} else {
+ $start = 1280;
+}
+
+if ( !empty( $options['e'] ) ) {
+ $end = $options['e'];
+} else {
+ $dbr =& wfGetDB( DB_SLAVE );
+ $end = $dbr->selectField( 'page', 'max(page_id)', false );
+}
+
+if ( !empty( $options['d'] ) ) {
+ $dest = $options['d'];
+} else {
+ $dest = $output_dir;
+}
+
+class DumpHTMLSkined extends DumpHTML
+{
+ function setupGlobals( $depth = NULL )
+ {
+ parent::setupGlobals($depth);
+ global $wgUser,$wgServer,$wiki_url;
+ $wgUser = new DummyUser;
+ $wgServer = $wiki_url;
+ }
+}
+
+$d = new DumpHTMLSkined( array(
+ 'dest' => $dest,
+ 'forceCopy' => $options['force-copy'],
+ 'alternateScriptPath' => $options['interlang'],
+ 'interwiki' => $options['interlang'],
+));
+
+
+if ( $options['special'] ) {
+ $d->doSpecials();
+} elseif ( $options['images'] ) {
+ $d->doImageDescriptions();
+} elseif ( $options['categories'] ) {
+ $d->doCategories();
+} else {
+ print("Creating static HTML dump in directory $dest. \n".
+ "Starting from page_id $start of $end.\n");
+ $d->doArticles( $start, $end );
+ $d->doImageDescriptions();
+ $d->doCategories();
+ $d->doMainPage();
+}
+
+?> \ No newline at end of file