mediawiki: minor styling change