Poosible fix for a production PHP5.3 vs 5.4 error