Doc #76177 [NEW]: we can't install php71-mongodb using this commond

From: 421034509 at qq dot com Operating system: macOS PHP version: 7.1Git-2018-04-02 (Git) Package: mongodb Bug Type: Documentation Problem Bug description:we can't install php71-mongodb using this commond Description: ------------ --- From manual page: http://www.php.net/mongodb.installation.homebrew --- we can't 'brew install php71-mongodb' if we want install the driver for PHP 7.1 if you run that commond you will get an error: Error: No available formula with the name "homebrew/php/php71-mongodb". That is because homebrew/php/php71-mongodb was deleted from homebrew/php in commit 3adb72d1:Deprecate tap. -- Edit bug report at https://bugs.php.net/bug.php?id=76177&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=76177&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=76177&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=76177&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=76177&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=76177&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=76177&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=76177&r=needscript Try newer version: https://bugs.php.net/fix.php?id=76177&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=76177&r=support Expected behavior: https://bugs.php.net/fix.php?id=76177&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=76177&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=76177&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=76177&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=76177&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=76177&r=dst IIS Stability: https://bugs.php.net/fix.php?id=76177&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=76177&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=76177&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=76177&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=76177&r=mysqlcfg