Pass user to WikiPage::doEditContent from EditPage
authorumherirrender <umherirrender_de.wp@web.de>
Fri, 14 Aug 2015 12:51:32 +0000 (14:51 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Fri, 14 Aug 2015 12:51:32 +0000 (14:51 +0200)
commit22d4ef527efe01e7ec64adfe02fa4ff7d6caf84a
tree0d9426cfb8128a4353e0a41aa2d627b4c40e51a7
parenta504e676ba80e141e928682d5b8299a0f4d42f24
Pass user to WikiPage::doEditContent from EditPage

This avoids the use of $wgUser inside of WikiPage::doEditContent.
It does not avoid the use of $wgUser in general, because EditPage does
not know about context, but it will make the indirect use visible and a
rewrite of EditPage can address the issue better.

Change-Id: Ifbcf52f2f076dc5c177bea22f90eb3b9fb8e3224
includes/EditPage.php