Updated mediawiki/extensions
Project: mediawiki/extensions/WikibaseDatabase  4f4dfec19e9094385a29a14674e127535911c643

Finish initial implementation of IndexDefinition

Change-Id: I05290e0ce4e2b3459436632ddecc81ccab37db32