From 9189f073db951a334d7c19e68e21a69df9dc8ccd Mon Sep 17 00:00:00 2001 From: Jouni Date: Fri, 27 Oct 2023 02:37:45 +0300 Subject: [PATCH] add js-cookie 3 as well and non minified --- core/mappings.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/core/mappings.js b/core/mappings.js index dca3ba9c..48cc8123 100644 --- a/core/mappings.js +++ b/core/mappings.js @@ -660,7 +660,9 @@ mappings.cdn = { 'jquery-ui-dist@{version}/jquery-ui.js': resources.jQueryUI, 'jquery-ui-dist@{version}/jquery-ui.min.js': resources.jQueryUI, 'jquery-validation@{version}/dist/jquery.validate.': resources.jqueryValidationPlugin, - 'js-cookie@{version}/src/js.cookie.min.js': resources.jscookie, + 'js-cookie@{version}/dist/js.cookie.js': resources.jscookie, + 'js-cookie@{version}/dist/js.cookie.min.js': resources.jscookie, + 'js-cookie@{version}/src/js.cookie.': resources.jscookie, 'leaflet@{version}/dist/leaflet.js': resources.leafletJS, 'leaflet@{version}/dist/leaflet.css': resources.leafletCSS, 'leaflet-easybutton@{version}/src/easy-button.js': resources.leafletEasyButton,