Fatal error: Uncaught Error: Class "ilADTDefinition" not found in /var/www/html/ilias/components/ILIAS/ADT/classes/Types/Integer/class.ilADTIntegerDefinition.php:21 Stack trace: #0 {main} thrown in /var/www/html/ilias/components/ILIAS/ADT/classes/Types/Integer/class.ilADTIntegerDefinition.php on line 21