src/vs/workbench/contrib/markers/browser/markersFilterOptions.ts/FilterOptions/EMPTY
class FilterOptions:	static EMPTY(uriIdentityService: IUriIdentityService) { return new FilterOptions('', [], false, false, false, uriIdentityService); }