[pkg-horde] Bug#820091: Switch from php-mongo to php-mongodb is needed

[Ondřej Surý]

Package: php-horde-mongo
Version: 1.0.3-4
Severity: grave

Dear maintainers,

php-mongo is obsolete with PHP 7.0 and it's going to be removed from
Debian unstable.

This is RC bug to make sure that php-horde-mongo gets removed from
testing, so we can remove php-mogno, and then gets updated to use the
new mongodb extension packaged as php-mongodb.

Cheers,
Ondrej

-- System Information:
Debian Release: stretch/sid
  APT prefers testing
  APT policy: (900, 'testing'), (800, 'unstable'), (700, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.5.0-rc7-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_DK.UTF-8, LC_CTYPE=en_DK.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)