From: Anatol Belski <ab@php.net>
Date: Fri, 9 Nov 2018 23:20:39 +0000 (+0100)
Subject: Merge branch 'PHP-7.2' into PHP-7.3
X-Git-Tag: php-7.3.0RC6~25
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=3061d7bdad0f34219269775e3803491d748e07e7;p=php

Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Sync one more upstream libmagic piece
---

3061d7bdad0f34219269775e3803491d748e07e7