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