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 /server-tests.php | |
parent | d4c5271c0c87c8b0b1a5f8f9c7a43917e2a58039 (diff) | |
download | php-git-d0cb715373c3fbe9dc095378ec5ed8c71f799f67.tar.gz |
s/PHP 5/PHP 7/
Diffstat (limited to 'server-tests.php')
-rwxr-xr-x | server-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server-tests.php b/server-tests.php index 688fee485a..8666895a96 100755 --- a/server-tests.php +++ b/server-tests.php @@ -1,7 +1,7 @@ <?php /* +----------------------------------------------------------------------+ - | PHP Version 5 | + | PHP Version 7 | +----------------------------------------------------------------------+ | Copyright (c) 1997-2010 The PHP Group | +----------------------------------------------------------------------+ |