array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'fr', ), 'this' => array ( 0 => 'readline.installation.php', 1 => 'Installation', 2 => 'Installation', ), 'up' => array ( 0 => 'readline.setup.php', 1 => 'Installation/Configuration', ), 'prev' => array ( 0 => 'readline.requirements.php', 1 => 'Pré-requis', ), 'next' => array ( 0 => 'readline.configuration.php', 1 => 'Configuration à l\'exécution', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'fr', 'path' => 'reference/readline/configure.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

Installation

Pour utiliser ces fonctions, il faut compiler la version CGI ou CLI de PHP avec le support readline. Il faut aussi utiliser l'option de compilation --with-readline[=DIR]. Pour utiliser le remplacement readline de libedit, configurez PHP --with-libedit[=DIR].

Sur Windows cette extension est disponible par défaut à partir de PHP 7.1.0.