mirror of
https://github.com/moodle/moodle.git
synced 2025-06-01 05:35:55 +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.