Package: ftp.debian.org Severity: normal Hi, please remove mediawiki-extensions from the archive. It is obsolete since mediawiki has been removed from the archive.
There's work by Kunal (CCed) to reintroduce an up-to-date version of mediawiki
into the archive, but current mediawiki releases bundle a set of core extensions
and the old set of extensions packaged as mediawiki-extensions are not
compatible
with it.
Cheers,
Moritz
