Branch: refs/heads/MAINT_4_1_14 Home: https://github.com/phpmyadmin/phpmyadmin Commit: f6cf089508fe77c5c72799bfd53a6bba0a36ccee https://github.com/phpmyadmin/phpmyadmin/commit/f6cf089508fe77c5c72799bfd53a... Author: Michal Čihař <michal@cihar.com> Date: 2014-12-04 (Thu, 04 Dec 2014) Changed paths: M phpunit.xml.dist Log Message: ----------- Disable html coverage report Signed-off-by: Michal Čihař <michal@cihar.com> Commit: 13dbcef69426839f8d169aab44a4d3a55ae4d228 https://github.com/phpmyadmin/phpmyadmin/commit/13dbcef69426839f8d169aab44a4... Author: Michal Čihař <michal@cihar.com> Date: 2014-12-04 (Thu, 04 Dec 2014) Changed paths: M build.xml Log Message: ----------- Sync build.xml with master Signed-off-by: Michal Čihař <michal@cihar.com> Commit: df794d4380bfcc056e72efda8940c07751482b35 https://github.com/phpmyadmin/phpmyadmin/commit/df794d4380bfcc056e72efda8940... Author: Michal Čihař <michal@cihar.com> Date: 2014-12-04 (Thu, 04 Dec 2014) Changed paths: M test/classes/plugin/PMA_PluginManager_test.php Log Message: ----------- Skip failing tests Signed-off-by: Michal Čihař <michal@cihar.com> Compare: https://github.com/phpmyadmin/phpmyadmin/compare/8ef75d7f729b...df794d4380bf