This is actually needed when using a ZTS build of any PHP 7.x release, nothing specific to PHP 7.2 at all.