Updated mediawiki/extensions
Project: mediawiki/extensions/WikibaseDatabase  257cfca1611bb1a09748b83f8005f38ecef09d39

Initial work on IndexDefinition

PP'd with Denny

Change-Id: I8554272ac10b11477b9a2404ee2d440f38df99b1