Le 15/10/2023 à 18:09, Larry Garfield a écrit :
That has already been done:https://www.php.net/array_is_list--Larry Garfield
Oh, I forgot it was accepted and merged, thanks for pointing at it. Cheers, Pierre
Le 15/10/2023 à 18:09, Larry Garfield a écrit :
That has already been done:https://www.php.net/array_is_list--Larry Garfield
Oh, I forgot it was accepted and merged, thanks for pointing at it. Cheers, Pierre