$buffer = WikiExporter::STREAM;
// This might take a while... :D
- MediaWiki\suppressWarnings();
+ Wikimedia\suppressWarnings();
set_time_limit( 0 );
- MediaWiki\restoreWarnings();
+ Wikimedia\restoreWarnings();
}
$exporter = new WikiExporter( $db, $history, $buffer );