'array_push()' with single element
array_push() calls that are used to add a single element to an array. In such cases, it is recommended to use
$array = instead, which adds no overhead of calling a function.
See array_push (php.net) for details.
PhpStorm 2023.3, Qodana for PHP 2023.3