1--TEST--
2Test array_push() function : push empty set to the array
3--FILE--
4<?php
5/* Prototype  : int array_push(array $stack[, mixed $...])
6 * Description: Pushes elements onto the end of the array
7 * Source code: ext/standard/array.c
8 */
9
10$array = [1,2,3];
11$values = [];
12
13var_dump( array_push($array) );
14var_dump( array_push($array, ...$values) );
15var_dump( $array );
16
17echo "Done";
18?>
19--EXPECT--
20int(3)
21int(3)
22array(3) {
23  [0]=>
24  int(1)
25  [1]=>
26  int(2)
27  [2]=>
28  int(3)
29}
30Done
31