For anyone still trying to find a solution,
I was able to install the xml extension by following instructions in this link https://www.cloudbooklet.com/install-php-7-4-on-ubuntu/
basically You need to add a ppa to get the now latest(7.4) PHP extensions.