maintenance/dumpHTML.php

   1 <?php
   2 /**
   3  * @todo document
   4  * @package MediaWiki
   5  * @subpackage Maintenance
   6  */
   7
   8 /** */
   9
  10 $optionsWithArgs = array( 's', 'd' );
  11
  12 require_once( "commandLine.inc" );
  13 require_once( "dumpHTML.inc" );
  14
  15 error_reporting( E_ALL & (~E_NOTICE) );
  16
  17
  18 if ( !empty( $options['s'] ) ) {
  19         $start = $options['s'];
  20 } else {
  21         $start = 1;
  22 }
  23
  24 if ( !empty( $options['d'] ) ) {
  25         $dest = $options['d'];
  26 } else {
  27         $dest = 'static';
  28 }
  29
  30 dumpHTML( $dest, $start );
  31
  32 exit();
  33
  34 ?>