Für den Zugriff von PHP7.2 auf eine MongoDB 4.2 Datenbank braucht man einen Client Treiber. Die Installation unter Ubuntu Server 18.04 LTE möchte ich hier beschreiben.
1. Pakete installieren
sudo apt install php-pear php7.2-dev
2. Treiber MongoDB installieren
sudo pecl install mongodb
3. Konfigurationsdatei erstellen
sudo sh -c 'echo "extension=mongodb.so" > /etc/php/7.2/mods-available/mongodb.ini'
4. Konfiguration aktivieren
sudo phpenmod mongodb