kleros/kleros-v2

View on GitHub
web-devtools/global.d.ts

Summary

Maintainability
A
0 mins
Test Coverage

An interface declaring no members is equivalent to its supertype.
New

  export interface DefaultTheme extends Theme {}
Severity: Minor
Found in web-devtools/global.d.ts by tslint

Rule: no-empty-interface

Forbids empty interfaces.

Rationale

An empty interface is equivalent to its supertype (or {}).

Notes
  • TypeScript Only

Config

Not configurable.

For more information see this page.

There are no issues that match your filters.

Category
Status