Current PHP version: 7.2.24-1+0~20191026.31+debian9~1.gbpbbacde