Fixed bug #65304 (Use of max int in array_sum)
Merge branch 'PHP-5.4' into PHP-5.5
Update NEWS