Is it recommended to use array_push or array_merge when reading multiple files in PHP?

When reading multiple files in PHP and wanting to combine the contents into an array, it is recommended to use `array_merge` instead of `array_push`. `array_merge` merges two or more arrays together, creating a new array, while `array_push` adds elements to the end of an array. Since we are dealing with multiple arrays (the contents of multiple files), `array_merge` is more suitable for combining them into one array.

$files = ['file1.txt', 'file2.txt', 'file3.txt'];
$combinedContents = [];

foreach ($files as $file) {
    $contents = file($file, FILE_IGNORE_NEW_LINES);
    $combinedContents = array_merge($combinedContents, $contents);
}

print_r($combinedContents);