Addshore has submitted this change and it was merged. Change subject: update extension list ......................................................................
update extension list Change-Id: I4d7c9c22f95cbcf858f4a776dc8437c29369f7f2 --- M extension-list-wikidata 1 file changed, 4 insertions(+), 4 deletions(-) Approvals: Addshore: Verified; Looks good to me, approved diff --git a/extension-list-wikidata b/extension-list-wikidata index 70c6f7e..fe62095 100644 --- a/extension-list-wikidata +++ b/extension-list-wikidata @@ -1,7 +1,7 @@ -$IP/extensions/Wikidata/DataTypes/DataTypes.i18n.php -$IP/extensions/Wikidata/DataValues/DataValues/DataValues.i18n.php -$IP/extensions/Wikidata/Diff/Diff.php $IP/extensions/Wikidata/Wikibase/client/WikibaseClient.php -$IP/extensions/Wikidata/WikibaseDataModel/WikibaseDataModel.php $IP/extensions/Wikidata/Wikibase/lib/WikibaseLib.php $IP/extensions/Wikidata/Wikibase/repo/Wikibase.php +$IP/extensions/Wikidata/Wikibase/vendor/data-values/data-types/DataTypes.i18n.php +$IP/extensions/Wikidata/Wikibase/vendor/data-values/data-values/DataValues.i18n.php +$IP/extensions/Wikidata/Wikibase/vendor/wikibase/data-model/WikibaseDataModel.i18n.php +$IP/extensions/Wikidata/Wikibase/vendor/diff/diff/Diff.i18n.php -- To view, visit https://gerrit.wikimedia.org/r/108915 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4d7c9c22f95cbcf858f4a776dc8437c29369f7f2 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikidata Gerrit-Branch: mw1.23-wmf11 Gerrit-Owner: Aude <[email protected]> Gerrit-Reviewer: Addshore <[email protected]> Gerrit-Reviewer: jenkins-bot <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
