[Pkg-php-pecl] Bug#888881: php-mongodb FTBFS with PHP 7.2: error: 'timelib_time {aka struct _timelib_time}' has no member named 'f'

[Adrian Bunk]

Source: php-mongodb
Version: 1.2.3-1
Severity: serious
Tags: buster sid

https://buildd.debian.org/status/package.php?p=php-mongodb&suite=sid

...
/<<PKGBUILDDIR>>/build-7.2/src/BSON/UTCDateTime.c: In function 'php_phongo_utcdatetime_init_from_date':
/<<PKGBUILDDIR>>/build-7.2/src/BSON/UTCDateTime.c:145:43: error: 'timelib_time {aka struct _timelib_time}' has no member named 'f'
  usec = (int64_t) floor(datetime_obj->time->f * 1000000 + 0.5);
                                           ^~
/<<PKGBUILDDIR>>/build-7.2/src/BSON/UTCDateTime.c: In function 'zim_UTCDateTime_toDateTime':
/<<PKGBUILDDIR>>/build-7.2/src/BSON/UTCDateTime.c:276:20: error: 'timelib_time {aka struct _timelib_time}' has no member named 'f'
  datetime_obj->time->f = (double) (intern->milliseconds % 1000) / 1000;
                    ^~
Makefile:345: recipe for target 'src/BSON/UTCDateTime.lo' failed
make[2]: *** [src/BSON/UTCDateTime.lo] Error 1