parseGlobalLinterOutput($err, $stdout, $stderr); } }