Ljonka has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/397781 )
Change subject: Remove AboutBlueSpice registration ...................................................................... Remove AboutBlueSpice registration Change-Id: I08a0ba324b7e36c14064fd21c26361904c744cee ERM: #8161 --- 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 e4dce05..613efd1 100644 --- a/BlueSpiceExtensions.default.php +++ b/BlueSpiceExtensions.default.php @@ -1,6 +1,5 @@ <?php //Other Extensions -require_once( __DIR__."/AboutBlueSpice/AboutBlueSpice.setup.php" ); require_once( __DIR__."/Flexiskin/Flexiskin.setup.php" ); require_once( __DIR__."/HideTitle/HideTitle.setup.php" ); require_once( __DIR__."/InsertCategory/InsertCategory.setup.php" ); -- To view, visit https://gerrit.wikimedia.org/r/397781 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I08a0ba324b7e36c14064fd21c26361904c744cee 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: Mglaser <gla...@hallowelt.biz> Gerrit-Reviewer: Pwirth <wi...@hallowelt.biz> Gerrit-Reviewer: Raimond Spekking <raimond.spekk...@gmail.com> Gerrit-Reviewer: Robert Vogel <vo...@hallowelt.biz> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
