0000473: JS sources should be included for minified files in scripts/ - Mercury Bugs

2024-11-22 00:22 AEDT

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0000473

mercury

Bug

public

2018-11-17 22:37

2018-11-19 11:46

Reporter

pbone

Assigned To

wangp

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000473: JS sources should be included for minified files in scripts/

Description

There are some minified JavaScript files in scripts/ I noticed that the debian packaging system complained that their non-minified sources are not also included. Ideally those should be included and the minified versions build from them.

I don't know how you actually go about doing that, just noting that Debian stuff complains and a readable version of the source orght to be provided.

Tags

No tags attached.

Attached Files

Relationships

Relationships

Notes
~0001019 zs (developer) 2018-11-17 22:48	I presume you are talking about jstree.min.js and jquery.slim.min.js. They were added in the same commit in 2017, and not touched since. The log message says they are from jstree.com and jquery.com respectively. See whether those sites contain their nonminimized versions.

~0001020 wangp (developer) 2018-11-18 10:35	There's no need to build the minified sources from the non-minified sources, just using the code in the original form is enough. I'll take care of it.

Notes

Date Modified	Username	Field	Change
Issue History
2018-11-17 22:37	pbone	New Issue
2018-11-17 22:48	zs	Note Added: 0001019
2018-11-18 10:35	wangp	Note Added: 0001020
2018-11-19 11:46	wangp	Assigned To	=> wangp
2018-11-19 11:46	wangp	Status	new => resolved
2018-11-19 11:46	wangp	Resolution	open => fixed

Issue History