rfc:json_encode_indentation

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
rfc:json_encode_indentation [2022/05/13 07:25] – Updated the RFC to reflect changes from pull request tdgrootrfc:json_encode_indentation [2022/07/19 15:23] (current) – Closed vote cmb
Line 4: Line 4:
   * Author: Timon de Groot, tdegroot96@gmail.com   * Author: Timon de Groot, tdegroot96@gmail.com
   * Implementation: https://github.com/php/php-src/pull/7093   * Implementation: https://github.com/php/php-src/pull/7093
-  * Status: Draft+  * Status: Declined
  
 ===== Introduction ===== ===== Introduction =====
Line 51: 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="Add support for changing the JSON indentation amount?" auth="tdgroot" voteType="single" closed="true">
 +   * Yes
 +   * No
 +</doodle>
 +
rfc/json_encode_indentation.1652426713.txt.gz · Last modified: 2022/05/13 07:25 by tdgroot