1--TEST--
2Test array_push() function : push empty set to the array
3--FILE--
4<?php
5$array = [1,2,3];
6$values = [];
7
8var_dump( array_push($array) );
9var_dump( array_push($array, ...$values) );
10var_dump( $array );
11
12echo "Done";
13?>
14--EXPECT--
15int(3)
16int(3)
17array(3) {
18  [0]=>
19  int(1)
20  [1]=>
21  int(2)
22  [2]=>
23  int(3)
24}
25Done
26