Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  dc2f17eb8d0c8539084b7def416a964e4006fafd

Improve type hinting

Change-Id: I49ff9379fce46e1db9a152cad74816e05413d641