1
0
mirror of https://github.com/php/php-src.git synced 2026-03-31 04:32:19 +02:00

correction

This commit is contained in:
krakjoe
2013-11-17 19:07:02 +00:00
parent 25d24f2ed9
commit cf5ef86a86

View File

@@ -217,7 +217,7 @@ PHPDBG_HELP(clear) /* {{{ */
PHPDBG_HELP(info) /* {{{ */
{
phpdbg_help_header();
phpdbg_writeln("info commands provides quick access to various types of information about the PHP environment");
phpdbg_writeln("info commands provide quick access to various types of information about the PHP environment");
phpdbg_writeln("Specific info commands are show below:");
phpdbg_notice("Commands");
{