Current PHP version: 7.2.27-1+0~20200123.34+debian9~1.gbp63c0bc