[Pkg-mediawiki-devel] Bug#719208: mediawiki-extensions file overwrite conflict with mediawiki

[Thorsten Glaser]

Hi *,

since the RFH found no answers I will, most likely, upload
something like the following:

The next mediawiki-extensions upload will check whether the
pre-version is older than the current one (in preinst) and,
if so, remove *both* versions of the files (mediawiki and
mediawiki-extensions), *including* the parent directories
and symlinks, if any.

Since mediawiki-extensions does not ship them any more then,
no further work is needed on that side.

A reinstall of mediawiki is needed after this, on the other
hand; a NEWS file will be added to state this effect.

If anyone’s got a better fix… talk now or quieten forever.

Thanks,
//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