> On Sep 2, 2020, at 11:14, Lester Caine <les...@lsces.uk> wrote:
> 
> On 02/09/2020 15:31, Thomas Bley wrote:
>> I'd also like to propose to use null:
>> [null, null, $username] = getUserData();
>> foreach ($source as $key => null) {}
> 
> Exactly what null is designed for ...

I second (or third) `null`.

Overall, I like the proposal.

Cheers,
Ben

--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php

Reply via email to