Re: Feature request - allow to append multiple elementsto an array
| From: | Christoph M. Becker | Date: | Sun, 29 Mar 2020 21:02:33 +0000 |
| Subject: | Re: Feature request - allow to append multiple elementsto an array | ||
| References: | 1 2 3 4 5 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-109425@lists.php.net to get a copy of this message | ||
On 29.03.2020 at 21:05, Manuel Canga wrote:
> Maybe, PHP needs array_flatten like Ruby:
> https://apidock.com/ruby/Array/flatten
>
> In this way, above code would be equal to:
>
> $res = array_flatten( array_map('make_res', $arr) );
You can already do
$res = array_merge(...array_map('make_res', $arr));
:)
--
Christoph M. Becker