Current PHP version: 7.2.17-1+0~20190410151005.18+stretch~1.gbp23a36d