php 5.4 friendly array type change