Merge branch 'PHP-7.4'

* PHP-7.4:
  Backport 7d2ef3d2e5 into 7.4
This commit is contained in:
Anatol Belski 2020-01-29 13:40:09 +01:00
commit 92df876949

Diff Content Not Available