Hello,
PHP 7.2 was released today. Currently we only announce support up to
7.1; is that because we don't want to announce support for something
that isn't officially released or is QA_4_7 incompatible with PHP 7.2?
If it's the former, we should probably quietly bump the version listed
on the website download page.