mirror of
https://github.com/moodle/moodle.git
synced 2025-02-15 13:24:56 +01:00
The call to the class 'repository' introduced in the commit d05c2ac7cc78 didn't fully work and threw: "Exception - Class 'repository' not found". This fixes the missing library inclusion.