diff options
Diffstat (limited to 'ext/readline')
| -rw-r--r-- | ext/readline/config.w32 | 1 | ||||
| -rw-r--r-- | ext/readline/php_readline.h | 1 | ||||
| -rw-r--r-- | ext/readline/readline_cli.h | 2 |
3 files changed, 0 insertions, 4 deletions
diff --git a/ext/readline/config.w32 b/ext/readline/config.w32 index 1a524e1535..4e9e89c964 100644 --- a/ext/readline/config.w32 +++ b/ext/readline/config.w32 @@ -12,4 +12,3 @@ if (PHP_READLINE != "no") { WARNING("readline not enabled; libraries and headers not found"); } } - diff --git a/ext/readline/php_readline.h b/ext/readline/php_readline.h index eebd50b6e4..8d7e5511b1 100644 --- a/ext/readline/php_readline.h +++ b/ext/readline/php_readline.h @@ -39,4 +39,3 @@ extern zend_module_entry readline_module_entry; #endif /* HAVE_LIBREADLINE */ #endif /* PHP_READLINE_H */ - diff --git a/ext/readline/readline_cli.h b/ext/readline/readline_cli.h index 69bf12c3a3..0448a8f3c8 100644 --- a/ext/readline/readline_cli.h +++ b/ext/readline/readline_cli.h @@ -37,5 +37,3 @@ extern PHP_MSHUTDOWN_FUNCTION(cli_readline); extern PHP_MINFO_FUNCTION(cli_readline); ZEND_EXTERN_MODULE_GLOBALS(cli_readline) - - |