@mdeslaurier, it seems like it fell through the cracks and in the meantime more microreleases were pushed out by upstream, see https://bugs.launchpad.net/ubuntu/+source/php5/+bug/1792991 and https://bugs.launchpad.net/ubuntu/+source/php7.2/+bug/1792987
@mdeslaurier, it seems like it fell through the cracks and in the meantime more microreleases were pushed out by upstream, see https:/ /bugs.launchpad .net/ubuntu/ +source/ php5/+bug/ 1792991 and https:/ /bugs.launchpad .net/ubuntu/ +source/ php7.2/ +bug/1792987