public function __destruct() {
// Return to real wiki db, so profiling data is preserved
MediaWikiTestCase::teardownTestDB();
public function __destruct() {
// Return to real wiki db, so profiling data is preserved
MediaWikiTestCase::teardownTestDB();