| Index: trunk/extensions/DumpHTML/dumpHTML.inc |
| — | — | @@ -494,11 +494,11 @@ |
| 495 | 495 | # Do raw pages |
| 496 | 496 | $this->mkdir( "{$this->dest}/raw", 0755 ); |
| 497 | 497 | foreach( $this->rawPages as $record ) { |
| 498 | | - list( $file, $title, $params ) = $record; |
| | 498 | + list( $file, $ftitle, $params ) = $record; |
| 499 | 499 | |
| 500 | 500 | $path = "{$this->dest}/raw/$file"; |
| 501 | 501 | if ( !file_exists( $path ) ) { |
| 502 | | - $article = new Article( $title ); |
| | 502 | + $article = new Article( $ftitle ); |
| 503 | 503 | $request = new FauxRequest( $params ); |
| 504 | 504 | $rp = new RawPage( $article, $request ); |
| 505 | 505 | $text = $rp->getRawText(); |
| — | — | @@ -797,6 +797,7 @@ |
| 798 | 798 | if ( $ns == NS_SPECIAL ) { |
| 799 | 799 | $wgOut = new OutputPage; |
| 800 | 800 | $wgOut->parserOptions( new ParserOptions ); |
| | 801 | + $wgOut->setTitle( $title ); |
| 801 | 802 | SpecialPage::executePath( $wgTitle ); |
| 802 | 803 | } else { |
| 803 | 804 | $article = MediaWiki::articleFromTitle( $wgTitle ); |
| — | — | @@ -806,6 +807,7 @@ |
| 807 | 808 | } else { |
| 808 | 809 | $wgOut = new OutputPage; |
| 809 | 810 | $wgOut->parserOptions( new ParserOptions ); |
| | 811 | + $wgOut->setTitle( $title ); |
| 810 | 812 | |
| 811 | 813 | $article->view(); |
| 812 | 814 | } |
| — | — | @@ -813,6 +815,7 @@ |
| 814 | 816 | |
| 815 | 817 | |
| 816 | 818 | $sk = $wgUser->getSkin(); |
| | 819 | + $sk->setTitle( $title ); |
| 817 | 820 | ob_start(); |
| 818 | 821 | $sk->outputPage( $wgOut ); |
| 819 | 822 | $text = ob_get_contents(); |