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 -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
