I am withdrawing the array_change_keys() RFC:
While I still believe that PHP is missing the ability to easily re-key an
array, I'm no longer convinced that this particular approach is the best
solution, nor do I currently have the time to address the remaining hurdles
and push this forward.
Perhaps this should indeed remain in userland, as some have suggested, or
perhaps a better solution would be a function to change a single element's
key (which can then be used in a loop by those who need it). I think the
latter might be interesting. I was hoping to delay this until I could
fully explore those alternative options but I unfortunately won't have the
bandwidth to do that anytime soon.
So because the RFC is not being actively discussed or worked on, and I have
no plans to push this forward soon, I am withdrawing the RFC.
I would like to thank Jeremy for his help creating the proposed
implementation and everyone who provided candid feedback on this.