PHP version: 7.3.20

Release date: July 9, 2020