Thomas Dalton wrote :
Are you sure? What about $wgScriptPath and
$wgArticlePath?
Those (normally) are in relative format and thus do not contain the server name
*if and only if* you ever defined it in LocalSettings.php, you would have to change
$wgServerName.
Otherwise, I don't think you have to change anything