Current PHP version: 7.2.27-5+0~20200202.35+debian10~1.gbp2925f8