d70rr3s · January 9, 2019 11:02
diff --git a/poc.php b/poc.php
 // Using array_merge inside loops is a greedy construction, also cannot
 // sum arrays since their indexes are the same.
 // @see https://stackoverflow.com/a/37065301
 @array_push($arr1, ...$arr2);
	// Using array_merge inside loops is a greedy construction, also cannot
	// sum arrays since their indexes are the same.
	// @see https://stackoverflow.com/a/37065301
	@array_push($arr1, ...$arr2);