Default INI file used with run-tests.php

diff --git a/tests/php.ini b/tests/php.ini
new file mode 100644 (file)
index 0000000..420ce75
--- /dev/null
+++ b/tests/php.ini
@@ -0,0 +1,3 @@
+;
+; Intentionally empty.
+;
\ No newline at end of file