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)
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

index 0ca2f80..f3a41c4 100644 (file)
@@ -1943,7 +1943,7 @@ class EditPage {
                        $this->summary,
                        $flags,
                        false,
-                       null,
+                       $wgUser,
                        $content->getDefaultFormat()
                );