Fatal error: Class 'User' not found in /var/www/html/wiki/mediawiki-1.24.3/extensions/BlueSpiceFoundation/maintenance/massedit.php on line 93