Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  7c4482e8d2556b92872604e982b1cc24a474723a

Improved stylings

Facets have a really ugly styling that images lay over the checkboxes.
Don't easily go there and change anything which is related to them.

Change-Id: If919accec4d3ff4a4ad4838c5f3f195d5a6aad9d