Current PHP version: 7.2.18-1+0~20190503103213.21+stretch~1.gbp101320