Current PHP version: 7.2.15-1+0~20190209065123.16+stretch~1.gbp3ad8c0