src/vs/workbench/contrib/search/common/queryBuilder.ts/splitGlobPattern
function splitGlobPattern(pattern: string): string[] {
	return glob.splitGlobAware(pattern, ',')
		.map(s => s.trim())
		.filter(s => !!s.length);
}