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