Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  41bf2a82f4f296cf3d94fde09c0e970baeaeeb36

Added ExtendedSearch support for other skins

Support other skins than bluespiceskin.

Change-Id: I02f1db45b3f05ecf0e39d671547e819a7bf0d2b4