Hello Fine !

Usually, it happens when you try to install the extension to the "wrong" PHP. You need to complete the following commands first and show us the output

apt-get install php-xml 

apt-get search php |grep xml