You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The only time a `filter` was passed to LinterOptions was in
`benchmark.dart` and in tests of the filter option. But then
`benchmark.dart` just grabs it back out, so we can remove it from
LinterOptions.
It can then be removed from all of the reporters (DetailedReporter,
ReportFormatter, SimpleFormatter).
Remove unused `quiet` option from these reporters as well.
I suspect more can be removed from the reporters (again they are only
used in tests; no uses in the wild) but I'll save those for later.
Change-Id: I784666fb9c9cb42760fabec346aa5135af15e6fb
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/389403
Reviewed-by: Phil Quitslund <[email protected]>
Commit-Queue: Samuel Rawlins <[email protected]>
0 commit comments