Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  23188389e4641c2d8eeb8c0d953823362bd14d4c

Doc tweak

Change-Id: I2f319a93c204d74fd0aef9d20686c19eade2ff9c