Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  2173132db891a95a32555aa5a64db373a4edefe5

Release 2.23.0

Change-Id: I91df3d10e70b42a902aae242409d28355211e801