Searched refs:user_output (Results 1 – 2 of 2) sorted by relevance
281 public function compare($user_output, $problem_name) argument285 if ($answer == $extension->parseNumber($user_output)) {
159 user_output: document.getElementById("user-output-" + problem_name).value,