From: Thomas Müller <thomas.mueller@tmit.eu>
Date: Mon, 4 Nov 2013 18:24:40 +0000 (-0800)
Subject: Merge pull request #5683 from owncloud/no-coverage-with-php-v53-master
X-Git-Tag: v6.0.0beta3~14
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=b767bbcddacc62741e8bed585c080092448bb829;p=nextcloud-server.git

Merge pull request #5683 from owncloud/no-coverage-with-php-v53-master

adding environment variable to control coverage reporting
---

b767bbcddacc62741e8bed585c080092448bb829