We're probably not going to get to the stretch goals, but it should be noted that MediaWiki is still not ready to run on PHP 7.2 itself, so we don't really have an alternative and we need to stick to 7.0 for now.

In T203959#4571089, @Joe wrote:

We're probably not going to get to the stretch goals, but it should be noted that MediaWiki is still not ready to run on PHP 7.2 itself, so we don't really have an alternative and we need to stick to 7.0 for now.

Based on T187147#4298721 and T176916#4326486 it seems like we will need some 7.1+ features. I think the main reason MediaWiki isn't ready for PHP 7.2 is mostly because it wasn't clear whether or not we were going to be targeting 7.2. If 7.2 is a stretch goal, I think we can start adding support in CI/vagrant/etc. to get it ready :)

@Legoktm I'm ok delaying this into next quarter, or even the one after that; but I think php 7.2 is indeed a possibility; there are packages that should be easy to backport so if support in MediaWiki is there by next quarter, I'd be happy to work on this :)