MediaWikiでClass ‘MediaWiki’ not found

インストール後、LocalSettings.phpをMediaWikiインストールのルートにおいてさて、
とブラウザから叩くと
Fatal error: Class ‘MediaWiki’ not found in /***/index.php on line 46

下記のextensionをphp.iniに追加すると解決します。

extension=simplexml.so