fuel/core — pull request #1545 by Onuma0519 (2013-10-15 13:26:47+00:00)
Title: overhead of calling a array_push function

Note: If you use array_push() to add one element to the array it's better to use $array[] = because in that way there is no overhead of calling a function.
http://www.php.net/manual/en/function.array-push.php