Have uglifyjs spit out a sourcemap for leaflet.js too.

[danzel]

Fixes #5341
The resulting source map points back to the original files too 👍

[danzel]

re my second commit.
I noticed that the resulting map file for -src is called leaflet-src.js.map, but the publish.sh file was adding leaflet-src.map (the 1.0.3 tagged build has -src.map as the file name).
Not sure if that was broken or what was going on, looks like it is a recent change.

[perliedman]

LGTM! @IvanSanchez do you have any comments on the extensions of the source maps before merging?

[IvanSanchez]

@perliedman As I said in #5341 I don't really see the usefulness, but if you and @danzel agree, then it's OK.

[perliedman]

@IvanSanchez ok, right. But the question was more about @danzel's last commit, and the actual file extension of the source map. It appears to have been just .map, compared to .js.map, and I'm unsure if this is important to anyone.

[IvanSanchez]

Ah, oh, ok 😄

According to the sourcemap spec:

Optionally, a source map will have the same name as the generated file but with a “.map” extension. For example, for “page.js” a source map named “page.js.map” would be generated.

So ideally I'd go for leaflet-src.js.map and leaflet.js.map.

Let me double-check @danzel 's changes to the build scripts, I'm not sure this is what we have now.

[IvanSanchez]

ivan@~/devel/Leaflet\ [pr/5351]$ ls -l dist                                                                                                              
total 1836                                                                                                                                                              
drwxr-xr-x 1 ivan ivan    146 des.  23 12:44 images
-rw-r--r-- 1 ivan ivan  13888 feb.   8 16:08 leaflet.css
-rw-r--r-- 1 ivan ivan 134439 feb.  21 13:41 leaflet.js
-rw-r--r-- 1 ivan ivan 617195 feb.  21 13:41 leaflet.js.map
-rw-r--r-- 1 ivan ivan 380727 feb.  21 13:41 leaflet-src.js
-rw-r--r-- 1 ivan ivan 725203 feb.  21 13:41 leaflet-src.js.map

LGTM.