You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The providers page for packages (e.g. this one for ext-mongodb) does not list any php-ext packages that provide the corresponding extension (which in this case would be mongodb/mongodb-extension). For any ext-* packages, I'd expect the corresponding php-ext package to be listed first, with alternatives listed later. This would improve discoverability of extension packages.
The text was updated successfully, but these errors were encountered:
The providers page for packages (e.g. this one for ext-mongodb) does not list any
php-ext
packages that provide the corresponding extension (which in this case would be mongodb/mongodb-extension). For anyext-*
packages, I'd expect the correspondingphp-ext
package to be listed first, with alternatives listed later. This would improve discoverability of extension packages.The text was updated successfully, but these errors were encountered: