Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  fe174f81f3ba3dd2676ea3ff032588b11591f394

Small code improvements

 * Changed from array_search to in_array
 * CC

Change-Id: I0c94926b8f2303c8d9ba31595565e81a65c66423