Index: trunk/extensions/DumpHTML/dumpHTML.inc |
— | — | @@ -801,7 +801,7 @@ |
802 | 802 | if ( $ns == NS_SPECIAL ) { |
803 | 803 | SpecialPage::executePath( $wgTitle, $context ); |
804 | 804 | } else { |
805 | | - $article = MediaWiki::articleFromTitle( $wgTitle, $context ); |
| 805 | + $article = Article::newFromTitle( $wgTitle, $context ); |
806 | 806 | $rt = $article->followRedirect(); |
807 | 807 | if ( is_object( $rt ) ) { |
808 | 808 | return $this->getRedirect( $rt ); |