diff options
| -rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index b0dbb7bf86..2d496e46fb 100755 --- a/run-tests.php +++ b/run-tests.php @@ -87,7 +87,7 @@ if (getenv('TEST_PHP_DETAILED')) { if (getenv('TEST_PHP_USER')) { $user_tests = explode (',', getenv('TEST_PHP_USER')); } else { - $user_tests = NULL; + $user_tests = array(); } // Write test context information. |