Merge branch 'PHP-7.2'

* PHP-7.2:
  Backport 7ff13badda into 7.0+
This commit is contained in:
Anatol Belski 2017-10-18 16:30:46 +02:00
commit 9420bdae84

Diff Content Not Available