jenkins-bot has submitted this change and it was merged.

Change subject: Use anonymous user in maintenance scripts
......................................................................


Use anonymous user in maintenance scripts

Bug: 60418
Change-Id: Ice7f9eb739426c91a8ad8c45c4757960a7fa109c
---
M container.php
1 file changed, 5 insertions(+), 1 deletion(-)

Approvals:
  Matthias Mullie: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/container.php b/container.php
index e48626b..b972ec5 100644
--- a/container.php
+++ b/container.php
@@ -3,7 +3,11 @@
 $c = new Flow\Container;
 
 // MediaWiki
-$c['user'] = $GLOBALS['wgUser'];
+if ( defined( 'RUN_MAINTENANCE_IF_MAIN' ) ) {
+       $c['user'] = new User;
+} else {
+       $c['user'] = isset( $GLOBALS['wgUser'] );
+}
 $c['output'] = $GLOBALS['wgOut'];
 $c['request'] = $GLOBALS['wgRequest'];
 if ( $GLOBALS['wgFlowUseMemcache'] ) {

-- 
To view, visit https://gerrit.wikimedia.org/r/109927
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ice7f9eb739426c91a8ad8c45c4757960a7fa109c
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Flow
Gerrit-Branch: master
Gerrit-Owner: EBernhardson <ebernhard...@wikimedia.org>
Gerrit-Reviewer: Matthias Mullie <mmul...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to