PHP version: 7.1.24

Release date: Nov. 8, 2018