swap PROMPT for phpdbg_get_prompt in help