Pwirth has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/405852 )
Change subject: Fix IAdminTool return value ...................................................................... Fix IAdminTool return value Change-Id: I0600c4cd341377ac576ff79034d7a5820dc5bdff --- M src/AdminTool.php 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Pwirth: Verified; Looks good to me, approved diff --git a/src/AdminTool.php b/src/AdminTool.php index eea1cbd..8057229 100644 --- a/src/AdminTool.php +++ b/src/AdminTool.php @@ -28,6 +28,7 @@ } public function getDataAttributes() { + return []; } public function getPermissions() { -- To view, visit https://gerrit.wikimedia.org/r/405852 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I0600c4cd341377ac576ff79034d7a5820dc5bdff Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/BlueSpiceUserManager Gerrit-Branch: master Gerrit-Owner: Robert Vogel <vo...@hallowelt.biz> Gerrit-Reviewer: Ljonka <l.verhovs...@gmail.com> Gerrit-Reviewer: Mglaser <gla...@hallowelt.biz> Gerrit-Reviewer: Pwirth <wi...@hallowelt.biz> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits