removing a php5.4+ feature that made travis break