Hi,
On 7/29/23 16:44, Bastien Roucariès wrote:
Dear Maintainer,
resources/lib/
(
https://sources.debian.org/src/mediawiki/1:1.39.4-2/resources/lib/)
include a few library already packaged for debian.
Moreover some source are missing (I have only checked pako).
These are in the preferred form for modification so I don't think
there's any issue here, but please correct me if I'm wrong. MediaWiki
often patches these libraries (e.g. jquery.ui) in this format hence IMO
meeting the "preferred form of the work for making modifications to it"
requirement of the GPL.
You could use the packaged library under debian
Older versions of the package did that, but the version mismatches were
not worth it. Plus MediaWiki has a ton of user-written code that's
stored and loaded on-wiki, so deviations from the official version are
incredibly hard to test and just cause breakage everywhere.
-- Kunal