Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  f82884eb52e660d3e7458c5e473c718c8ea1c894

Also search files in search as you type

No files were searched in search as you type even it as enabled

Change-Id: Ia0267183657394f17e10e0694a6d2981dae8b2c7