php-xml extension

Hi there,

I am running WP 5.4.1 and NextGen plugin 3.3.5 Hosting has PHP 7.3.

I get the error message to enable the PHP XML extension. Unfortunately I can’t figure out which extension that might be. I uploaded an image here with the extensions available.

Can you please point out if the required one is on the list and if so which one? Or if I need to dig deeper and talk to the hosting provider. If so could you please elaborate the exact name of the extension needed, or better, point to the documentation that elaborates in detail what this is all about.

Searched the web, but could not find any conclusive information…