Pwirth has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/405851 )
Change subject: Fix IAdminTool return value ...................................................................... Fix IAdminTool return value Change-Id: I6830e35cbf4de1847ad0c3334d44d8a9e899aab5 --- 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 73e8899..f9e452f 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/405851 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I6830e35cbf4de1847ad0c3334d44d8a9e899aab5 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/BlueSpicePermissionManager 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