mirror of
https://github.com/moodle/moodle.git
synced 2025-04-03 23:42:39 +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.