Use PHP7