Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticDrilldown  e9388e51ea5d93787d8ea52423627aa1c539da30

New version: 1.2.5

Change-Id: I39fbbb74844dacb70b0b0cbeb681cc13db0b78cc