fuel/core — pull request #1721 by Onuma0519 (2014-06-30 13:28:15+00:00)
Title: overhead

http://de1.php.net/manual/en/function.array-push.php
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.