array_keys()

Unless there's some crazy reason stopping this from working, it prevents a useless $value being stored in memory. As far as performance gains/losses go, I dunno lol