Fatal error: Class 'ORMTable' not found in /var/www/html/wiki/mediawiki-1.24.3/extensions/BlueSpiceExtensions/Dashboards/includes/DashboardConfigTable.php on line 3