oops

diff --git a/tests/ci/config/codecoverage_xdebug.ini b/tests/ci/config/codecoverage_xdebug.ini
new file mode 100644 (file)
index 0000000..7891eb0
--- /dev/null
+++ b/tests/ci/config/codecoverage_xdebug.ini
@@ -0,0 +1,10 @@
+# php.ini settings used to enable code coverage with xdebug
+
+zend_extension=xdebug.so
+
+# xdebug 3
+xdebug.mode=coverage
+# xdebug 2
+xdebug.coverage_enable=1
+
+memory_limit = -1