rfc:json_encode_indentation
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
rfc:json_encode_indentation [2021/06/03 13:57] โ tdgroot | rfc:json_encode_indentation [2022/05/13 07:25] โ Updated the RFC to reflect changes from pull request tdgroot | ||
---|---|---|---|
Line 3: | Line 3: | ||
* Date: 2021-06-03 | * Date: 2021-06-03 | ||
* Author: Timon de Groot, tdegroot96@gmail.com | * Author: Timon de Groot, tdegroot96@gmail.com | ||
+ | * Implementation: | ||
* Status: Draft | * Status: Draft | ||
Line 9: | Line 10: | ||
===== Proposal ===== | ===== Proposal ===== | ||
- | Introducing a 4th parameter, called //indent//. The type of the parameter is string|int and its default value is 4. | + | Introducing a 4th parameter, called //indent//. The type of the parameter is int and its default value is 4. |
- | When a string is passed, that character sequence will be used for indentation, where it normally would be ' | + | By default, an indentation |
- | When an int is passed, an indentation of N spaces will be applied. | + | When the //indent// parameter |
<code php> | <code php> | ||
$data = [ | $data = [ | ||
' | ' | ||
- | ' | + | ' |
]; | ]; | ||
+ | echo json_encode([' | ||
echo json_encode($data, | echo json_encode($data, | ||
- | echo json_encode($data, | ||
?> | ?> | ||
</ | </ | ||
- | < | + | < |
+ | {ย | ||
+ | " | ||
+ | } | ||
{ | { | ||
" | " | ||
" | " | ||
- | | + | 2 |
- | 1,ย | + | |
- | | + | |
- | 3 | + | |
] | ] | ||
- | } | ||
- | { | ||
- | ๐" | ||
- | ๐" | ||
- | ๐๐0, | ||
- | ๐๐1, | ||
- | ๐๐2, | ||
- | ๐๐3 | ||
- | ๐] | ||
} | } | ||
</ | </ |
rfc/json_encode_indentation.txt ยท Last modified: 2022/07/19 15:23 by cmb