Merge branch '7.5' into 8.5

sebastianbergmann · Dec 10, 2019 · 9cc006c · 9cc006c
2 parents 1b45676 + 6aab040
commit 9cc006c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Util/PHP/eval-stdin.php b/src/Util/PHP/eval-stdin.php
@@ -8,7 +8,7 @@
  * file that was distributed with this source code.
  */
 if (\PHP_SAPI !== 'cli' && \PHP_SAPI !== 'phpdbg') {
-    exit;
+    exit(1);
 }
 
 eval('?>' . \file_get_contents('php://stdin'));