Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  9719a3fac5e5f7e9e51872d4e296b49a55ced42e

Improved TopMenuBarCustomizer styles

Change-Id: If7b8af5f241ed07c9fbe68514d8e1ffcc9cc60f1