From 50c78960e0767825ce6ce89814b2f9d2a60daf7a Mon Sep 17 00:00:00 2001 From: fnecas Date: Mon, 18 Dec 2023 22:39:15 +0100 Subject: [PATCH] fix: lint --- js/plugins/Header.jsx | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/js/plugins/Header.jsx b/js/plugins/Header.jsx index 40af3b870..fbbed2560 100644 --- a/js/plugins/Header.jsx +++ b/js/plugins/Header.jsx @@ -9,10 +9,10 @@ import {useEffect} from "react"; import { createPlugin, connect } from "@mapstore/utils/PluginsUtils"; export const Header = ({url = "/header/", page = "mapstore", height = 90, ignoreIFrame = false, - script = "https://cdn.jsdelivr.net/gh/georchestra/header@dist/header.js", - legacy = false, - logo= "https://www.georchestra.org/public/georchestra-logo.svg", - stylesheet= ""}) => { + script = "https://cdn.jsdelivr.net/gh/georchestra/header@dist/header.js", + legacy = false, + logo = "https://www.georchestra.org/public/georchestra-logo.svg", + stylesheet = ""}) => { useEffect(() => { const header = document.getElementById("georchestra-header"); const headerScript = document.getElementById("georchestra-header-script");