Current PHP version: 7.2.20-1+0~20190710.23+debian9~1.gbp2428c5