[Pkg-mediawiki-devel] Invalidated by dependency: Excuse for mediawiki-extensions

[Thorsten Glaser]

On Tue, 10 Jul 2012, Platonides wrote:

> How does json-js block mediawiki-extensions?

One of the extensions depends on that package.

> a) MediaWiki ships with a copy of jQuery since 1.17

Ah, good to know, we’ll need to remove that.

> b) MediaWiki resourceloader will automatically minify the javascript
> sent to the user. It doesn't need (nor should) be preminified.

That doesn’t have anything to do with what’s in the Debian
binary packages of the various ECMAscript libraries, which
ship both copies. (Doing that at runtime is bad for performance
anyway. Now I know why it’s so slow ☺ just kidding…)

bye,
//mirabilos
-- 
tarent solutions GmbH
Rochusstraße 2-4, D-53123 Bonn • http://www.tarent.de/
Tel: +49 228 54881-393 • Fax: +49 228 54881-314
HRB 5168 (AG Bonn) • USt-ID (VAT): DE122264941
Geschäftsführer: Boris Esser, Sebastian Mancke