'regex=' => false,
'file=' => false,
'use-filebackend=' => false,
+ 'use-bagostuff=' => false,
'keep-uploads' => false,
'use-normal-tables' => false,
'reuse-db' => false,
+ 'wiki=' => false,
);
public function __construct() {
}
}
+ 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;
+ }
+ }
+
public function showHelp() {
parent::showHelp();