php-phpunit-PHP-CodeCoverage: minor fix
phpMyAdmin: 4.0.2 (bugfix)