/** * get_js_functionnames * * @return xxx */ function get_js_functionnames() { // start list of function names $names = parent::get_js_functionnames(); $names .= ($names ? ',' : '') . 'CorrectChoice'; return $names; }