| private formatDefaultValue ( mixed $default ) : string | ||
| $default | mixed | |
| return | string | |
private function formatDefaultValue($default)
{
return str_replace('\\\\', '\\', json_encode($default, JSON_UNESCAPED_SLASHES | JSON_UNESCAPED_UNICODE));
}