WP 5.2 dropped support for PHP versions before 5.6.
enabled an automatic merge when the pipeline for f0be05a1 succeeds
merged
mentioned in commit 8176fba6