Description:
------------
Fatal error: Call to undefined function readline() in ... on line 4


Reproduce code:
---------------
---
From manual page: function.readline#Examples
---
<?php
//get 3 commands from user
for ($i=0; $i < 3; $i++) {
        $line = readline("Command: ");
        readline_add_history($line);
}

//dump history
print_r(readline_list_history());

//dump variables
print_r(readline_info());
?>

Expected result:
----------------
Work!!!

Actual result:
--------------
Error