Exception - Failed opening required '[dirroot]/course/lib.php' (include_path='[dirroot]/lib/pear:.:/usr/local/php80/lib/php')

Coding error detected, it must be fixed by a programmer: Default theme boost not available or broken!