Updated mediawiki/extensions
Project: mediawiki/extensions/ContentTranslation  a1a01cb093f8ff73463a7bc4e2da00decd03dbd1

Paragraph height adjustment

Paragraph height is increased so that paragraphs can
be easilly identified while still being perceived as
part of a whole document.

Change-Id: If44ca220cba70a6fe7121ca4c8d8e43e48296b18