[Phpmyadmin-git] [phpmyadmin/phpmyadmin] f6cf08: Disable html coverage report

[Michal Čihař]

  Branch: refs/heads/MAINT_4_1_14
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: f6cf089508fe77c5c72799bfd53a6bba0a36ccee
      https://github.com/phpmyadmin/phpmyadmin/commit/f6cf089508fe77c5c72799bfd53a6bba0a36ccee
  Author: Michal Čihař <michal at 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 at cihar.com>


  Commit: 13dbcef69426839f8d169aab44a4d3a55ae4d228
      https://github.com/phpmyadmin/phpmyadmin/commit/13dbcef69426839f8d169aab44a4d3a55ae4d228
  Author: Michal Čihař <michal at 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 at cihar.com>


  Commit: df794d4380bfcc056e72efda8940c07751482b35
      https://github.com/phpmyadmin/phpmyadmin/commit/df794d4380bfcc056e72efda8940c07751482b35
  Author: Michal Čihař <michal at 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 at cihar.com>


Compare: https://github.com/phpmyadmin/phpmyadmin/compare/8ef75d7f729b...df794d4380bf