array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'it', ), 'this' => array ( 0 => 'function.phpdbg-prompt.php', 1 => 'phpdbg_prompt', 2 => 'Sets the command prompt', ), 'up' => array ( 0 => 'ref.phpdbg.php', 1 => 'phpdbg Funzioni', ), 'prev' => array ( 0 => 'function.phpdbg-get-executable.php', 1 => 'phpdbg_get_executable', ), 'next' => array ( 0 => 'function.phpdbg-start-oplog.php', 1 => 'phpdbg_start_oplog', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'en', 'path' => 'reference/phpdbg/functions/phpdbg-prompt.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

phpdbg_prompt

(PHP 5 >= 5.6.0, PHP 7, PHP 8)

phpdbg_prompt — Sets the command prompt

Descrizione

phpdbg_prompt(string $string): void

Set the command prompt to the given string.

Elenco dei parametri

string
The string to use as command prompt.

Valori restituiti

Nessun valore viene restituito.

Vedere anche: