public function __destruct()
{
// Return to real wiki db, so profiling data is preserved
MediaWikiTestCase::teardownTestDB();
// Log profiling data, e.g. in the database or UDP
wfLogProfilingData();
}
public function run(array $argv, $exit = true)
{
wfProfileIn(__METHOD__);
$ret = parent::run($argv, false);
wfProfileOut(__METHOD__);
// Return to real wiki db, so profiling data is preserved
MediaWikiTestCase::teardownTestDB();
// Log profiling data, e.g. in the database or UDP
wfLogProfilingData();
if ($exit) {
exit($ret);
} else {
return $ret;
}
}
