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/07/04 18:18] – Add voting section 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: Under discussion+  * Status: Declined
  
 ===== Introduction ===== ===== Introduction =====
Line 54: Line 54:
 ===== Vote ===== ===== Vote =====
  
-Voting opened on 2022-07-01 and closes on 2022-07-15.+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="false">+<doodle title="Add support for changing the JSON indentation amount?" auth="tdgroot" voteType="single" closed="true">
    * Yes    * Yes
    * No    * No
 </doodle> </doodle>
  
rfc/json_encode_indentation.1656958708.txt.gz · Last modified: 2022/07/04 18:18 by tdgroot

Page Tools