I need to configure MediaWiki
to point to our corporate mail server. Can anyone tell me where that
pointer - the name of the server, e.g.
mail.company.com - is set? I have
looked in DefaultSettings.php (in the 'Includes' folder) and
LocalSettings.php, but can't work it out.
I think this has to be done somewhere in php.ini (some smtp parameters)...