From 6eaedc42c88ca15a80aff8ae94f33ae1f67a19fd Mon Sep 17 00:00:00 2001 From: David Schneider Date: Tue, 18 Apr 2017 13:48:24 -0700 Subject: [PATCH] Linting: no-empty-interface --- types/react-leaflet/index.d.ts | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/types/react-leaflet/index.d.ts b/types/react-leaflet/index.d.ts index 2704411521..334f776d3d 100644 --- a/types/react-leaflet/index.d.ts +++ b/types/react-leaflet/index.d.ts @@ -305,14 +305,14 @@ export class Tooltip

extends removeTooltipContent(): void; } -export interface MapControlProps extends Leaflet.ControlOptions { } +export type MapControlProps = Leaflet.ControlOptions; export class MapControl

extends React.Component { leafletElement: E; createLeafletElement(props: P): E; updateLeafletElement(fromProps: P, toProps: P): void; } -export interface AttributionControlProps extends Leaflet.Control.AttributionOptions { } +export type AttributionControlProps = Leaflet.Control.AttributionOptions; export class AttributionControl

extends MapControl { } export interface LayersControlProps extends LayersControlEvents, Leaflet.Control.LayersOptions { @@ -344,8 +344,8 @@ export namespace LayersControl { class Overlay

extends ControlledLayer

{ } } -export interface ScaleControlProps extends Leaflet.Control.ScaleOptions { } +export type ScaleControlProps = Leaflet.Control.ScaleOptions; export class ScaleControl

extends MapControl { } -export interface ZoomControlProps extends Leaflet.Control.ZoomOptions { } +export type ZoomControlProps = Leaflet.Control.ZoomOptions; export class ZoomControl

extends MapControl { }