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

[Oskar Liljeblad]

Package: mediawiki
Version: 1:1.19.5-1
Severity: normal

debsums reports that the following files have incorrect checksums:

/var/lib/mediawiki/extensions/Renameuser/Renameuser.alias.php
/var/lib/mediawiki/extensions/Renameuser/Renameuser.i18n.php
/var/lib/mediawiki/extensions/Renameuser/Renameuser_body.php

If I do 'apt-get install --reinstall mediawiki', then it will complain that
the following files are incorrect:

/usr/share/mediawiki-extensions/base/Renameuser/Renameuser.alias.php
/usr/share/mediawiki-extensions/base/Renameuser/Renameuser.i18n.php
/usr/share/mediawiki-extensions/base/Renameuser/Renameuser_body.php

And if I do 'apt-get install --reinstall mediawiki-extensions-base', then
it will complain about the /var/lib/mediawiki files... Is there any way to fix this?

Regards,

Oskar Liljeblad (oskar at osk.mine.nu)

-- System Information:
Debian Release: 7.1
  APT prefers stable
  APT policy: (990, 'stable'), (500, 'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 3.2.0-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=POSIX, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash