Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  51b724edd16467c567cf750315c170116cd5e5c4

Fixed display of section results

Also improved code a little bit

Change-Id: I97058b1823213bc233a68e755ac872acb8eacc24