In this post, I will show you how we can add missing PHP 7.2 missing extension using Ondrej PPA in Linux server.

Once you have fixed that issue, you can try executing following commands if you have not added Ondrej PPA:

Now you can restart your server.