Translations:Manual:MediaWiki.php/17/en

Then it checks if it is a redirect and if it's the case, recreate another Article from the target of the redirect and changes $Title and $Article.