mirror of
https://github.com/moodle/moodle.git
synced 2025-02-08 09:02:07 +01:00
c851ee5ddb
Integers coming from site settings needs casting to int to avoid returning values higher than PHP_INT_MAX.