Running Ubuntu 19.10 with MediaWiki 1.31.1 installed. I have a wiki that worked well under Ubuntu 19.04 but says MediaWiki 1.31 internal error
Installing some PHP extensions is required. Required components
You are missing a required extension to PHP that MediaWiki requires to run. Please install:
xml (more information)
though xml is loaded for PHP 7.3. But for 7.2 which also is installed xml is not loaded. I guess that MediaWiki uses 7.2. How can I determine the version used? And if it is the wrong, how is it changed?