Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  7eb8e484fdb4845fa34131efacd1483ebdb2323b
null
Show the documentation only if it's not empty

Change-Id: I2b88bfcd06d0461a04ff902389c8b510116f6533