Set context on RedirectSpecialPage in MediaWiki.php
authorumherirrender <umherirrender_de.wp@web.de>
Tue, 2 Feb 2016 19:56:25 +0000 (20:56 +0100)
committerumherirrender <umherirrender_de.wp@web.de>
Thu, 4 Feb 2016 19:14:03 +0000 (20:14 +0100)
commit4f2fe642839636d0dc8c5699b4e44796ea3890ab
tree43bbcc7f553e84a0069862a8c6bad028c20e2355
parentf8e44b8b113f9f9d1d09412f082f36000cfde379
Set context on RedirectSpecialPage in MediaWiki.php

Special page instance from SpecialPageFactory::getPage needs a context
set, to avoid using RequestContext::getMain in SpecialPage::getContext

Change-Id: I6e0828c6c9668c4ef10a729533190a5225b8782f
includes/MediaWiki.php