jenkins-bot has submitted this change and it was merged. Change subject: Kill DataValues/DataTypes/DataTypes.i18n.php ......................................................................
Kill DataValues/DataTypes/DataTypes.i18n.php Change-Id: I9788d21e0e0134d57dea7903e96fc0811d6ad26f --- M wmf-config/extension-list 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Reedy: Looks good to me, approved jenkins-bot: Verified diff --git a/wmf-config/extension-list b/wmf-config/extension-list index 3f23063..3a82ba9 100644 --- a/wmf-config/extension-list +++ b/wmf-config/extension-list @@ -34,7 +34,6 @@ $IP/extensions/CoreEvents/CoreEvents.php $IP/extensions/CreditsSource/CreditsSource.php $IP/extensions/CustomData/CustomData.php -$IP/extensions/DataValues/DataTypes/DataTypes.i18n.php $IP/extensions/DataValues/DataValues/DataValues.i18n.php $IP/extensions/DataValues/ValueFormatters/ValueFormatters.i18n.php $IP/extensions/DataValues/ValueParsers/ValueParsers.i18n.php -- To view, visit https://gerrit.wikimedia.org/r/82841 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9788d21e0e0134d57dea7903e96fc0811d6ad26f Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Reedy <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
