From f7a9491446ca4c8fa93664d203e31a423b6569e4 Mon Sep 17 00:00:00 2001
From: Simon Koch <simon.koch@tu-braunschweig.de>
Date: Thu, 23 Jan 2025 14:04:00 +0100
Subject: [PATCH] added both the JSON_THROW_ON_ERROR and
 JSON_INVALID_UTF8_IGNORE flag

---
 bin/php-parse | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/php-parse b/bin/php-parse
index fc44f234c5..76dd9ac1e8 100755
--- a/bin/php-parse
+++ b/bin/php-parse
@@ -82,7 +82,7 @@ foreach ($files as $file) {
             echo $prettyPrinter->prettyPrintFile($stmts), "\n";
         } elseif ('json-dump' === $operation) {
             fwrite(STDERR, "==> JSON dump:\n");
-            echo json_encode($stmts, JSON_PRETTY_PRINT), "\n";
+            echo json_encode($stmts, JSON_PRETTY_PRINT | JSON_THROW_ON_ERROR | JSON_INVALID_UTF8_IGNORE), "\n";
         } elseif ('var-dump' === $operation) {
             fwrite(STDERR, "==> var_dump():\n");
             var_dump($stmts);