jenkins-bot has submitted this change and it was merged. Change subject: Added check for LocalSettings.BlueSpice.php to installcheck.php ......................................................................
Added check for LocalSettings.BlueSpice.php to installcheck.php Change-Id: I2d9d080133a57a9be0bb54edb015eb61733843cd --- M installcheck.php 1 file changed, 2 insertions(+), 1 deletion(-) Approvals: Robert Vogel: Verified; Looks good to me, approved jenkins-bot: Verified diff --git a/installcheck.php b/installcheck.php index 2b0929e..eef732e 100644 --- a/installcheck.php +++ b/installcheck.php @@ -242,7 +242,8 @@ // Check template renaming echo( "<h2>Checking for necessary files</h2>" ); -$reqMove = array( "extensions/BlueSpiceExtensions/BlueSpiceExtensions.php" ); +$reqMove = array( "extensions/BlueSpiceExtensions/BlueSpiceExtensions.php", + "LocalSettings.BlueSpice.php" ); checkMove( $reqMove ); -- To view, visit https://gerrit.wikimedia.org/r/319318 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2d9d080133a57a9be0bb54edb015eb61733843cd Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/BlueSpiceFoundation Gerrit-Branch: master Gerrit-Owner: Bhofmann <[email protected]> Gerrit-Reviewer: Dvogel hallowelt <[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: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
