Hoo man has uploaded a new change for review. https://gerrit.wikimedia.org/r/110544
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(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikidata refs/changes/44/110544/1 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/110544 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I240099c1aeda1decc3553bacd639e8064a1be415 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikidata Gerrit-Branch: master Gerrit-Owner: Hoo man <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
