@Physikerwelt: It may be worth changing the text "See this thread for information on how to install this extension for MediaWiki 1.31 and later." in https://www.mediawiki.org/wiki/Extension:Math, since the referred thread then seems to imply that there is no need to edit LocalSettings.php. Thank you very much for the help.