Fix PHP 7.2 array_push issue

Until this project officially supports php >7.3, using array_push to tack on additional bindings won't work since sometimes getBindings returns an empty array. In that case, array_push gets only one argument and PHP throws an error. This was updated in 7.3 to allow one argument.