Code Editor : diagnostics_channel.d.ts