Updated mediawiki/extensions
Project: mediawiki/extensions/Wikibase  25e6e80fac7cca284d26f13e3cabababa87715dc

(bug 52799) Dump JSON of entities listed in file.

This allows dumpJson.php to dump just those entities given in
a given list file.

Change-Id: Ie101cc58b0218d623e73b832a4fc9d45f1d1ac4a