Fix to support php5.4