function getExtensionimport { getExtension } from "https://deno.land/x/openbox@1.1.5/mod.ts"; getExtension(obj: ISpecificationExtension | undefined, extensionName: string): unknownParametersobj: ISpecificationExtension | undefinedextensionName: stringReturnsunknown