jenkins-bot has submitted this change and it was merged. Change subject: Remove obsolete config values ......................................................................
Remove obsolete config values Change-Id: I4b8c324b4a6b8e1848bcced87503bc0076f9f1e9 --- M wmf-config/CommonSettings.php 1 file changed, 0 insertions(+), 4 deletions(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php index 2961682..8b0c04a 100644 --- a/wmf-config/CommonSettings.php +++ b/wmf-config/CommonSettings.php @@ -3093,10 +3093,6 @@ 'nsName' => 'Data', 'isLocal' => true, 'pattern' => '/^Json:./', - // these two settings should be removed after deploying - // https://gerrit.wikimedia.org/r/#/c/281327/ - 'name' => 'Json', - 'isSubspace' => true, ]; } } -- To view, visit https://gerrit.wikimedia.org/r/318047 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4b8c324b4a6b8e1848bcced87503bc0076f9f1e9 Gerrit-PatchSet: 2 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Yurik <yu...@wikimedia.org> Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits