Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  e535297da4c9f1dd3fc440435dcee701164f2258

UserPrefernces
fixed bug in usersidbar
little refactoring for REL2_23

Change-Id: If9461c41f213f6d627c5ceb85c4b04749d318fda