From 2f528ede5fc807e278026bc31155c1180d500698 Mon Sep 17 00:00:00 2001 From: Philipp Albrecht Date: Fri, 8 Feb 2019 14:26:53 +0100 Subject: [PATCH] Remove space at end of line --- locallib.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/locallib.php b/locallib.php index 062c9c2c..0bec4c76 100644 --- a/locallib.php +++ b/locallib.php @@ -732,7 +732,7 @@ function mod_studentquiz_user_stats($cmid, $quantifiers, $userid, $aggregated) { * TODO: Refactor: There must be a better way to do this! */ function mod_studentquiz_helper_attempt_stat_select() { - return "SELECT statspercategory.userid AS userid, + return "SELECT statspercategory.userid AS userid, -- Aggregate values over all categories in cm context. -- Note: Max() of equals is faster than Sum() of groups. -- See: https://dev.mysql.com/doc/refman/5.7/en/group-by-optimization.html.