Author: fernandoacorreia
Description:
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.
Proposed solution:
$wgRedirectDelay = 10;
Version: unspecified
Severity: enhancement