1
0
mirror of https://github.com/php/php-src.git synced 2026-04-24 16:38:25 +02:00

Merge branch 'master' of github.com:krakjoe/phpdbg

This commit is contained in:
Felipe Pena
2013-11-17 19:02:22 -02:00
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -1,4 +1,4 @@
phpdbg: $(BUILD_BINARY)
phpdbg: clean-phpdbg $(BUILD_BINARY)
$(BUILD_BINARY): $(PHP_GLOBAL_OBJS) $(PHP_BINARY_OBJS) $(PHP_PHPDBG_OBJS)
$(BUILD_PHPDBG)
+1 -1
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");
{