declare namespace javax { namespace servlet { interface ServletConfig { getServletName(): string getServletContext(): javax.servlet.ServletContext getInitParameter(arg0: java.lang.String | string): string getInitParameterNames(): java.util.Enumeration } } }