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?
To get what version used, create and open in browser php file with this content
To install xml for 7.2: