Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  ec04ab0ad36536524dc80aac902067d36ddbdd0a

Latest state of development

Change-Id: I0f268a24308ba14d3af49f08b49cba67febc8c90