From cf5ef86a86d37bf0ea76232495567c0138200dd2 Mon Sep 17 00:00:00 2001 From: krakjoe Date: Sun, 17 Nov 2013 19:07:02 +0000 Subject: [PATCH] correction --- phpdbg_help.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/phpdbg_help.c b/phpdbg_help.c index c5d769095c..b99a740e6d 100644 --- a/phpdbg_help.c +++ b/phpdbg_help.c @@ -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"); { -- 2.50.1