Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  ef4d1fa0fe1a14d7e54804102aef3f546bc12722

Changed image name

Changed image name to avoid 404

Change-Id: Id39becb5eacb4ab134e222eb985a8df0a4bd405e