diff options
author | David <ottodavid@gmx.net> | 2014-08-05 22:44:51 +0200 |
---|---|---|
committer | David <ottodavid@gmx.net> | 2014-08-22 12:41:58 +0200 |
commit | 189f927ff3dfe8dfa0adb62a66ab240e84c8eb54 (patch) | |
tree | 13c8c79947484bf3e0c72656555b44432004a7bc /index.html | |
parent | 6d626d0626bd0a0fe7053d09af5196f2ff796a07 (diff) |
Disable coverage measurement for PHP 5.3 tests
In order to avoid segfaulting tests
(cherry picked from commit b682cf8ede7f60d770d39b1d48e6f15fd796774b)
Diffstat (limited to 'index.html')
0 files changed, 0 insertions, 0 deletions