MongoDB Extension for PHP 7.2.3 on Ubuntu 18.04

I've been running MongoDB along with PHP on Ubuntu Server 17 for some time. I recently installed a copy of Ubuntu Server 18.04 and did the same installation procedure. However, even including extension = mongodb.so in php.ini, it does not load in phpinfo (), and does not work when I try to run my system.