Bug#719208: [Pkg-mediawiki-devel] Bug#719208: mediawiki: md5sums for Renameuser{.alias, .i18n, _body}.php files are incorrect

2013-08-09 Thread Thorsten Glaser
On Fri, 9 Aug 2013, Oskar Liljeblad wrote: If I do 'apt-get install --reinstall mediawiki', then it will complain that And if I do 'apt-get install --reinstall mediawiki-extensions-base', then I see… this looks like a combination of – upgrade from old mediawiki/mediawiki-extensions – dpkg

Bug#719208: [Pkg-mediawiki-devel] Bug#719208: mediawiki: md5sums for Renameuser{.alias, .i18n, _body}.php files are incorrect

2013-08-09 Thread Oskar Liljeblad
On Friday, August 09, 2013 at 12:12, Thorsten Glaser wrote: [..] Some cleanup is also needed… can you please share the output of $ ls -lad /var/lib/mediawiki/extensions/Renameuser on the affected system? If I’m right it’s a symbolic link somewhere. Yep, that's right! lrwxrwxrwx 1 root root

Bug#719208: [Pkg-mediawiki-devel] Bug#719208: mediawiki: md5sums for Renameuser{.alias, .i18n, _body}.php files are incorrect

2013-08-09 Thread Thorsten Glaser
On Fri, 9 Aug 2013, Oskar Liljeblad wrote: Yep, that's right! lrwxrwxrwx 1 root root 47 May 9 2012 /var/lib/mediawiki/extensions/Renameuser - /usr/share/mediawiki-extensions/base/Renameuser Thanks, that should be enough information to fix that. (mediawiki-extensions-base was last