PHP version: 7.2.7

Release date: June 21, 2018