Current PHP version: 7.2.21-1+0~20190807.25+debian9~1.gbp935ebf