Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  6d63826ae62a7dc3896c23a8390599be70a2a0e3

Further layout improvements

Add list button is now on top of the lists panel. Also, there is a header
to the elements panel

Change-Id: I54bd7c9ca6c95db1efd52d7092eb5ddedd79fed7