PHP version: 7.3.13

Release date: Dec. 18, 2019