Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  80eafebe406d5849ad8e3080ad003e0ca5166955
null
style improvements

Change-Id: I69053a72dc6741e1485a791cb0d6dcb287cc6d59