Update viewgrades.php

Changed due to codechecker.
drachels · Jul 18, 2022 · e7bd786 · e7bd786
1 parent b31e24f
commit e7bd786
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/classes/output/viewgrades.php b/classes/output/viewgrades.php
@@ -163,7 +163,7 @@ protected function init($group = 0, $userid = 0) {
             if ($scale = $DB->get_record('scale', array('id' => -($this->hotquestion->instance->grade)))) {
                 $this->cache['scale'] = make_menu_from_list($scale->scale);
             }
-            $finalgrade = sizeof($this->cache['scale']);
+            $finalgrade = count($this->cache['scale']);
             $finalgrade .= '='.($this->cache['scale'][$finalgrade]);
         }