Fix old PHP version error