Je ne sais pas si c'est la solution la plus élégante, mais ça a marché pour moi :
- Installez le pilote php
$ sudo pecl install mongodb
- Créez le fichier d'extension
$ sudo nano /etc/php5/mods-available/mongodb.ini
et écrivez à l'intérieur :extension=mongodb.so - Créer un lien symbolique pour ce fichier
$ sudo ln -sv /etc/php5/mods-available/mongodb.ini /etc/php5/apache2/conf.d/20-mongodb.ini
- Créer un autre lien symbolique pour ce fichier
$ sudo ln -sv /etc/php5/mods-available/mongodb.ini /etc/php5/cli/conf.d/20-mongodb.ini
- Redémarrez apache ou le serveur utilisé
$ sudo service apache2 restart
Il peut être nécessaire de réinstaller jenssegers/mongodb :$ composer require jenssegers/mongodb