Ljonka has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/396053 )
Change subject: Remove InsertLink registration ...................................................................... Remove InsertLink registration Change-Id: I413ee08ffc94d01a5e296620adba5b417b81117d ERM: #8166 --- M BlueSpiceExtensions.default.php 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Ljonka: Verified; Looks good to me, approved jenkins-bot: Checked diff --git a/BlueSpiceExtensions.default.php b/BlueSpiceExtensions.default.php index 6f9cadb..e4dce05 100644 --- a/BlueSpiceExtensions.default.php +++ b/BlueSpiceExtensions.default.php @@ -4,5 +4,4 @@ require_once( __DIR__."/Flexiskin/Flexiskin.setup.php" ); require_once( __DIR__."/HideTitle/HideTitle.setup.php" ); require_once( __DIR__."/InsertCategory/InsertCategory.setup.php" ); -require_once( __DIR__."/InsertLink/InsertLink.setup.php" ); require_once( __DIR__."/NamespaceCss/NamespaceCss.setup.php" ); -- To view, visit https://gerrit.wikimedia.org/r/396053 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I413ee08ffc94d01a5e296620adba5b417b81117d Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/BlueSpiceExtensions Gerrit-Branch: master Gerrit-Owner: ItSpiderman <d.savulje...@gmail.com> Gerrit-Reviewer: Ljonka <l.verhovs...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
