[Pkg-mediawiki-devel] Bug#743201: PHP Fatal error: require(): Failed opening required '/var/lib/mediawiki/includes/libs/CSSMin.php'

[Mathieu Malaterre]

Package: mediawiki
Version: 1:1.19.14+dfsg-0+deb7u1
Severity: grave

After updating mediawiki to the latest in wheezy, here is what I get:

$ cd /var/log/apache2
$ $ tail -f error.log
[Mon Mar 31 10:27:10 2014] [error] [client 192.168.0.16] PHP Fatal
error:  require(): Failed opening required
'/var/lib/mediawiki/includes/libs/CSSMin.php'
(include_path='.:/usr/share/php:/usr/share/pear') in
/usr/share/mediawiki/includes/AutoLoader.php on line 1009
[Mon Mar 31 10:27:26 2014] [error] [client 192.168.0.16] PHP Warning:
require(/var/lib/mediawiki/includes/libs/CSSMin.php): failed to open
stream: No such file or directory in
/usr/share/mediawiki/includes/AutoLoader.php on line 1009

I can no longer use my mediawiki installation