Pwirth has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/405848 )
Change subject: Fix IAdminTool return value ...................................................................... Fix IAdminTool return value Change-Id: I10fce59d937e0a400fa529f3aae8c1700d7a4ce3 --- 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 d302116..3631d2d 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/405848 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I10fce59d937e0a400fa529f3aae8c1700d7a4ce3 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/BlueSpicePageAssignments 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