Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  d6b01333bec847a8d8656b2079a2d7078769e2b7

Fixed invalid Json syntax

Removed invalid chars from de-formal

Change-Id: I707f181e0c30d79936366ab648f2109fc181a126