[HttpFoundation] work around PHP 7.3 bug related to json_encode()

nicolas-grekas · nicolas-grekas · commit 31c073bee15b · 2019-06-04T20:52:06.000+02:00
diff --git a/Console/Descriptor/JsonDescriptor.php b/Console/Descriptor/JsonDescriptor.php
@@ -185,6 +185,12 @@ protected function describeContainerParameter($parameter, array $options = [])
     private function writeData(array $data, array $options)
     {
         $flags = isset($options['json_encoding']) ? $options['json_encoding'] : 0;
+
+        if (\PHP_VERSION_ID >= 70300 && (JSON_THROW_ON_ERROR & $flags)) {
+            // Work around https://bugs.php.net/77997
+            json_encode(null);
+        }
+
         $this->write(json_encode($data, $flags | JSON_PRETTY_PRINT)."\n");
     }
 

Original file line number	Diff line number	Diff line change
`@@ -185,6 +185,12 @@ protected function describeContainerParameter($parameter, array $options = [])`
`185`	`185`	`private function writeData(array $data, array $options)`
`186`	`186`	`{`
`187`	`187`	`$flags = isset($options['json_encoding']) ? $options['json_encoding'] : 0;`
	`188`	`+`
	`189`	`+ if (\PHP_VERSION_ID >= 70300 && (JSON_THROW_ON_ERROR & $flags)) {`
	`190`	`+ // Work around https://bugs.php.net/77997`
	`191`	`+ json_encode(null);`
	`192`	`+ }`
	`193`	`+`
`188`	`194`	`$this->write(json_encode($data, $flags \| JSON_PRETTY_PRINT)."\n");`
`189`	`195`	`}`
`190`	`196`