Jonas Kress (WMDE) has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/305207

Change subject: Fix missing icon for map layers in built
......................................................................

Fix missing icon for map layers in built

Change-Id: I57886597208e8dc4685fe7f01a84b96d912ae7e7
---
M Gruntfile.js
1 file changed, 9 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/wikidata/query/gui 
refs/changes/07/305207/1

diff --git a/Gruntfile.js b/Gruntfile.js
index 0cace3c..517ea90 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -82,7 +82,15 @@
                                                        dest: dist + '/css/',
                                                        filter: 'isFile'
                                                },
-                                               {
+                                               {// leaflet images
+                                                       expand: true,
+                                                       flatten: true,
+                                                       src: [
+                                                               
'**/leaflet/dist/images/*.png'
+                                                       ],
+                                                       dest: dist + 
'/css/images',
+                                                       filter: 'isFile'
+                                               },{
                                                        expand: true,
                                                        cwd: './',
                                                        src: [

-- 
To view, visit https://gerrit.wikimedia.org/r/305207
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I57886597208e8dc4685fe7f01a84b96d912ae7e7
Gerrit-PatchSet: 1
Gerrit-Project: wikidata/query/gui
Gerrit-Branch: master
Gerrit-Owner: Jonas Kress (WMDE) <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to