PHP version: 7.2.10

Release date: Sept. 13, 2018