Merge branch '9.4' into master

sebastianbergmann · sebastianbergmann · commit eafcb3a19339 · 2020-11-03T16:06:48.000+01:00
diff --git a/src/TextUI/Command.php b/src/TextUI/Command.php
@@ -818,7 +818,7 @@ private function migrateConfiguration(string $filename): void
 
             print 'Migrated configuration: ' . $filename . PHP_EOL;
         } catch (Throwable $t) {
-            print 'Migration failed' . PHP_EOL;
+            print 'Migration failed: ' . $t->getMessage() . PHP_EOL;
 
             exit(TestRunner::EXCEPTION_EXIT);
         }

Original file line number	Diff line number	Diff line change
`@@ -818,7 +818,7 @@ private function migrateConfiguration(string $filename): void`
`818`	`818`
`819`	`819`	`print 'Migrated configuration: ' . $filename . PHP_EOL;`
`820`	`820`	`} catch (Throwable $t) {`
`821`		`- print 'Migration failed' . PHP_EOL;`
	`821`	`+ print 'Migration failed: ' . $t->getMessage() . PHP_EOL;`
`822`	`822`
`823`	`823`	`exit(TestRunner::EXCEPTION_EXIT);`
`824`	`824`	`}`