rfc:json_encode_indentation
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
rfc:json_encode_indentation [2021/06/03 13:49] – created tdgroot | rfc:json_encode_indentation [2022/07/19 15:23] (current) – Closed vote cmb | ||
---|---|---|---|
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 | ||
- | * Status: Draft | + | * Implementation: https:// |
+ | * Status: Declined | ||
===== Introduction ===== | ===== Introduction ===== | ||
Line 10: | 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($data, | + | echo json_encode([' |
+ | echo json_encode($data, | ||
?> | ?> | ||
</ | </ | ||
- | < | + | < |
+ | { | ||
+ | " | ||
+ | } | ||
{ | { | ||
" | " | ||
" | " | ||
- | | + | 2 |
- | 1, | + | |
- | | + | |
- | 3 | + | |
] | ] | ||
} | } | ||
Line 50: | Line 51: | ||
===== Patches and Tests ===== | ===== Patches and Tests ===== | ||
Tests are written with the RFC | Tests are written with the RFC | ||
+ | |||
+ | ===== Vote ===== | ||
+ | |||
+ | Voting opened on 2022-07-04 and closes on 2022-07-18. | ||
+ | |||
+ | <doodle title=" | ||
+ | * Yes | ||
+ | * No | ||
+ | </ | ||
+ |
rfc/json_encode_indentation.1622728144.txt.gz · Last modified: 2021/06/03 13:49 by tdgroot