In the PHP manual, (array_push) says..
If you use array_push() to add one element to the array it\'s better to use $array[]
both are the same, but array_push makes a loop in it's parameter which is an array and perform $array[]=$element