Change-Id: I710fddc20e88745c9091432dff87b5e361c1f71a
}
}
- public function run( array $argv, $exit = true ) {
- wfProfileIn( __METHOD__ );
-
- $ret = parent::run( $argv, false );
-
- wfProfileOut( __METHOD__ );
-
- if ( $exit ) {
- exit( $ret );
- } else {
- return $ret;
- }
- }
-
public function showHelp() {
parent::showHelp();
class MediaWikiPHPUnitBootstrap {
+ public function __construct() {
+ wfProfileIn( __CLASS__ );
+ }
+
public function __destruct() {
+ wfProfileOut( __CLASS__ );
+
// Return to real wiki db, so profiling data is preserved
MediaWikiTestCase::teardownTestDB();