string Stdio.Readline()->edit(string data, string|void local_prompt, array(string)|void attrs)
Document this function