[RESULT] Convert numeric keys in object/array casts

Hi everyone, Voting on the Convert numeric keys in object/array casts RFC has now ended. There were 21 votes in favour and 1 against, which is a greater than 2/3 majority in favour, and so the RFC has been accepted for PHP 7.2. The RFC (including voting details) can be found here: https://wiki.php.net/rfc/convert_numeric_keys_in_object_array_casts The patch will probably be merged shortly. There's no change to the language specification (which doesn't specify or comment on this bug), only the interpreter. Thank you to everyone who participated in the discussion and vote.