Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  559ed278458ec1caec6c71790f77c8b85ebdde1e

BS2.23: PermissionManager Recode

This is the accumulated change of
* https://gerrit.wikimedia.org/r/#/c/159678/
* https://gerrit.wikimedia.org/r/#/c/156244/

Those changes will be abandoned after this one got merged. This is due to
rebase issues.

Regarding the I18N changes Raimond Spekking gave his +1 to the original
change mentioned above.

Change-Id: I0aa05425ebb3cf154e5d392ebe9a9ed999560ba9