diff --git a/settings.php b/settings.php index 67f2f17..6d644f3 100644 --- a/settings.php +++ b/settings.php @@ -200,7 +200,7 @@ function ($v) { 'tool_excimer/num_slowest', get_string('num_slowest', 'tool_excimer'), get_string('num_slowest_desc', 'tool_excimer'), - '100', + '1000', PARAM_INT ); $item->set_updatedcallback($clearprofiletimingscachecallback);