diff options
Diffstat (limited to 'dev-lang/php')
| -rw-r--r-- | dev-lang/php/metadata.xml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/dev-lang/php/metadata.xml b/dev-lang/php/metadata.xml index ca91577505a3..45a8e7f87ccc 100644 --- a/dev-lang/php/metadata.xml +++ b/dev-lang/php/metadata.xml @@ -27,10 +27,6 @@ <flag name="cli"> Enable the Command-Line Interface (CLI) SAPI </flag> - <flag name="coverage"> - Include gcov symbols for test coverage and lcov reports. Only - useful for extension developers, and requires GCC. - </flag> <flag name="ctype"> Enable the Character type checking (ctype) extension </flag> |
