'array_push()' with single element
Reports the 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.
Inspection Details | |
---|---|
Available in: | PhpStorm 2023.3, Qodana for PHP 2023.3 |
Plugin: | PHP, 233.SNAPSHOT |
Last modified: 13 July 2023