Current PHP version: 7.2.25-1+0~20191128.32+debian9~1.gbp108445