Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  7b23c15460275e6d205e3557ebe3db4f593487f6

Latest state of development

Change-Id: If69f364da3d24fa1d58f944507e75a06a00d1b96