Hoo man has submitted this change and it was merged. Change subject: Add Wikidata.php to the extension list ......................................................................
Add Wikidata.php to the extension list Needed to have the autoloader there in all cases Change-Id: I240099c1aeda1decc3553bacd639e8064a1be415 --- M extension-list-wikidata 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Hoo man: Verified; Looks good to me, approved jenkins-bot: Verified diff --git a/extension-list-wikidata b/extension-list-wikidata index 962a58b..d8e7b29 100644 --- a/extension-list-wikidata +++ b/extension-list-wikidata @@ -1,3 +1,4 @@ +$IP/extensions/Wikidata/Wikidata.php $IP/extensions/Wikidata/vendor/data-values/data-types/DataTypes.php $IP/extensions/Wikidata/vendor/data-values/data-values/DataValues.php $IP/extensions/Wikidata/vendor/diff/diff/Diff.php -- To view, visit https://gerrit.wikimedia.org/r/110545 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I240099c1aeda1decc3553bacd639e8064a1be415 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikidata Gerrit-Branch: mw1.23-wmf11 Gerrit-Owner: Hoo man <[email protected]> Gerrit-Reviewer: Hoo man <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
