Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  513a9859ec3a9b139060b75954f28deb44dec108

Fix syntax error

Change-Id: I0f7ff98be2faf560279981cc7b0e8c946ef537f7