diff options
author | Johannes Schlüter <johannes@php.net> | 2014-09-19 18:33:14 +0200 |
---|---|---|
committer | Johannes Schlüter <johannes@php.net> | 2014-09-19 18:33:14 +0200 |
commit | d0cb715373c3fbe9dc095378ec5ed8c71f799f67 (patch) | |
tree | 1b8f71c05c18d260059da92ac2d1d7bfc15d7133 /ext/readline/php_readline.h | |
parent | d4c5271c0c87c8b0b1a5f8f9c7a43917e2a58039 (diff) | |
download | php-git-d0cb715373c3fbe9dc095378ec5ed8c71f799f67.tar.gz |
s/PHP 5/PHP 7/
Diffstat (limited to 'ext/readline/php_readline.h')
-rw-r--r-- | ext/readline/php_readline.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/readline/php_readline.h b/ext/readline/php_readline.h index 5660bdb7f6..7a014164fc 100644 --- a/ext/readline/php_readline.h +++ b/ext/readline/php_readline.h @@ -1,6 +1,6 @@ /* +----------------------------------------------------------------------+ - | PHP Version 5 | + | PHP Version 7 | +----------------------------------------------------------------------+ | Copyright (c) 1997-2014 The PHP Group | +----------------------------------------------------------------------+ |