jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/389780 )
Change subject: Remove PrivateSettings.php symlink ...................................................................... Remove PrivateSettings.php symlink Nothing should be using this anymore Change-Id: I08ed7c7c4d62f41ae671102a31473c716fb68d7a --- D wmf-config/PrivateSettings.php 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Chad: Looks good to me, approved jenkins-bot: Verified Zoranzoki21: Looks good to me, but someone else must approve diff --git a/wmf-config/PrivateSettings.php b/wmf-config/PrivateSettings.php deleted file mode 120000 index bfd5916..0000000 --- a/wmf-config/PrivateSettings.php +++ /dev/null @@ -1 +0,0 @@ -../private/PrivateSettings.php \ No newline at end of file -- To view, visit https://gerrit.wikimedia.org/r/389780 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I08ed7c7c4d62f41ae671102a31473c716fb68d7a Gerrit-PatchSet: 2 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Chad <[email protected]> Gerrit-Reviewer: Chad <[email protected]> Gerrit-Reviewer: Urbanecm <[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
