Current PHP version: 7.2.26-1+0~20191218.33+debian9~1.gbpb5a34b