In function returnToMain() of OutputPage, use a global variable instead of the
magic number 10 so the refresh delay can be configured in LocalSettings.php.
The default delay may be too long. For instance with 5 seconds the message still
could be read and the user would not have to click the link.
$wgRedirectDelay = 10;