]> granicus.if.org Git - php/commitdiff
correction
authorkrakjoe <joe.watkins@live.co.uk>
Sun, 17 Nov 2013 19:07:02 +0000 (19:07 +0000)
committerkrakjoe <joe.watkins@live.co.uk>
Sun, 17 Nov 2013 19:07:02 +0000 (19:07 +0000)
phpdbg_help.c

index c5d769095c607470c85f8e979c8a201fcbf5e754..b99a740e6d3cb76564aa1b241b298748374c825c 100644 (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");
        {