protected function formatDefaultValue($default) { if (PHP_VERSION_ID < 50400) { return str_replace('\\/', '/', json_encode($default)); } return json_encode($default, JSON_UNESCAPED_SLASHES | JSON_UNESCAPED_UNICODE); }