Update config.dist.php

RobiNN1 · RobiNN1 · commit 0138d10da45e · 2022-07-08T21:35:03.000+02:00
diff --git a/config.dist.php b/config.dist.php
@@ -64,6 +64,9 @@ static function (string $value): ?string {
                     } catch (Exception $e) {
                         // ...
                     }
+                } elseif (!is_string($unserialized_value) || !is_numeric($unserialized_value)) {
+                    // for weird edge cases when data are not string/int
+                    $unserialized_value = serialize($unserialized_value);
                 }
 
                 return (string) $unserialized_value;

Original file line number	Diff line number	Diff line change
`@@ -64,6 +64,9 @@ static function (string $value): ?string {`
`64`	`64`	`} catch (Exception $e) {`
`65`	`65`	`// ...`
`66`	`66`	`}`
	`67`	`+ } elseif (!is_string($unserialized_value) \|\| !is_numeric($unserialized_value)) {`
	`68`	`+ // for weird edge cases when data are not string/int`
	`69`	`+ $unserialized_value = serialize($unserialized_value);`
`67`	`70`	`}`
`68`	`71`
`69`	`72`	`return (string) $unserialized_value;`