Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  fc6dce9f102b55c926250d33233e80b279a54083

Latest state of development

Change-Id: I83034e9ec962577945dd0c6708270f0bbdcca6d9
Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  753a8396bf58ba202dceaebc2340dae013e0936a

Latest state of development

Change-Id: I3b3744e8e3a02d5de390fe6bad02bd1d24359c08