Index: trunk/extensions/DumpHTML/dumpHTML.inc |
— | — | @@ -797,11 +797,9 @@ |
798 | 798 | $context->setUser( $wgUser ); |
799 | 799 | |
800 | 800 | $wgTitle = $title; // b/c |
801 | | - $wgOut = new OutputPage( $context ); |
| 801 | + $wgOut = $context->getOutput(); // b/c |
802 | 802 | $wgOut->parserOptions( new ParserOptions() ); // anon |
803 | 803 | |
804 | | - $context->setOutput( $wgOut ); |
805 | | - |
806 | 804 | $ns = $wgTitle->getNamespace(); |
807 | 805 | if ( $ns == NS_SPECIAL ) { |
808 | 806 | SpecialPage::executePath( $wgTitle, $context ); |