Replace 'array_push' call with assignment

[wbars]

<fold>array_push(</fold>$a<fold text="[] = ", </fold>$b<fold>)</fold>;