jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/387182 )
Change subject: Remove InterWikiLinks from extension registration file ...................................................................... Remove InterWikiLinks from extension registration file New repo: https://gerrit.wikimedia.org/r/#/c/388007/ Change-Id: I61ad8d60bd092614d992eb1d2540f8e0332c08ee ERM: #7929 --- M BlueSpiceExtensions.default.php 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Ljonka: Verified; Looks good to me, approved jenkins-bot: Verified Zoranzoki21: Looks good to me, but someone else must approve diff --git a/BlueSpiceExtensions.default.php b/BlueSpiceExtensions.default.php index dd69508..43bcec4 100644 --- a/BlueSpiceExtensions.default.php +++ b/BlueSpiceExtensions.default.php @@ -2,7 +2,6 @@ // WikiAdmin Extensions require_once( __DIR__."/WikiAdmin/WikiAdmin.setup.php" ); require_once( __DIR__."/ExtensionInfo/ExtensionInfo.setup.php" ); -require_once( __DIR__."/InterWikiLinks/InterWikiLinks.setup.php" ); //Other Extensions require_once( __DIR__."/StateBar/StateBar.setup.php" ); -- To view, visit https://gerrit.wikimedia.org/r/387182 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I61ad8d60bd092614d992eb1d2540f8e0332c08ee Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/BlueSpiceExtensions Gerrit-Branch: master Gerrit-Owner: ItSpiderman <[email protected]> Gerrit-Reviewer: Ljonka <[email protected]> Gerrit-Reviewer: Mglaser <[email protected]> Gerrit-Reviewer: Pwirth <[email protected]> Gerrit-Reviewer: Robert Vogel <[email protected]> Gerrit-Reviewer: Zoranzoki21 <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
