PHP version: 7.2.20

Release date: July 4, 2019