Fatal error: Class 'BsExtensionManager' not found in /var/www/html/wiki/mediawiki-1.24.3/extensions/BlueSpiceExtensions/Preferences/Preferences.setup.php on line 3