array_push optimizations

Submitted the old changes to the php pear project.

Well the commit 0a7206e is perhaps more relevant then?