PHP version: 7.1.7

Release date: July 6, 2017