Code Editor : provider.spec.d.ts