[RFC] Convert numeric keys in object/array casts

Hi everyone, To try and fix a longstanding issue, and to actually bring some attention to the fix, I've created a new RFC, which can be found here: https://wiki.php.net/rfc/convert_numeric_keys_in_object_array_casts It targets PHP 7.2, which is maybe a little conservative. It could target PHP 7.1 theoretically, but it's probably a bit late for that. I'm also not sure if this really ought to be an RFC, but I've received little feedback so far, so it can't hurt. Anyway, please tell me your thoughts! -- Andrea Faulds https://ajf.me/