Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  e7be946efd25539b8d03271e420dcb353ba869a9

Latest state of development

Change-Id: I5e27e592de3e2efde2c29dce353e7b18eb15887c