Fatal error: Class 'DifferenceEngine' not found in /var/www/html/wiki/mediawiki-1.24.3/extensions/BlueSpiceDistribution/MobileFrontend/includes/diff/InlineDifferenceEngine.php on line 3