fix rename of parse_input_line in web repl. fixes #2282