restore removed line (thanks Jani)

diff --git a/run-tests.php b/run-tests.php
index d95476db0b2dec4244eb834093a161cb2ec408de..1db1794c8509304b0b6ae7f4fb3b541b53745f50 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -1140,6 +1140,7 @@ function run_test($php, $file, $env)
        global $leak_check, $temp_source, $temp_target, $cfg, $environment;
        global $no_clean;
        global $valgrind_version;
+
        $temp_filenames = null;
        $org_file = $file;