Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  11317fe031730334d74bc6f6f2603f62f5947bb7

Merged from develop

Change-Id: I3d9cc0d907092433d0389984b01b506b9aafef5e