On 27/08/13 03:12, C. Scott Ananian wrote:
Stated more precisely: a non-GPL-compatible license for an extension means that the extension can never be distributed with core.
That is incorrect, the GPL does not say that. The GPL allows verbatim copies of source code, with no restrictions on the license of any bundled or dynamically linked code. Only "non-source forms" (or "binaries" in v2) have more restrictive conditions. Since the MediaWiki core and extensions are distributed solely in source form, the non-source (binary) conditions do not apply.
-- Tim Starling