diff options
Diffstat (limited to 'ext/ext_skel.php')
-rwxr-xr-x | ext/ext_skel.php | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/ext/ext_skel.php b/ext/ext_skel.php index ea8df0ac7d..8fb66eca3a 100755 --- a/ext/ext_skel.php +++ b/ext/ext_skel.php @@ -2,8 +2,6 @@ <?php /* +----------------------------------------------------------------------+ - | PHP Version 7 | - +----------------------------------------------------------------------+ | Copyright (c) The PHP Group | +----------------------------------------------------------------------+ | This source file is subject to version 3.01 of the PHP license, | @@ -264,8 +262,6 @@ function process_source_tags($file, $short_name) { $header = <<<"HEADER" /* +----------------------------------------------------------------------+ - | PHP Version 7 | - +----------------------------------------------------------------------+ | Copyright (c) The PHP Group | +----------------------------------------------------------------------+ | This source file is subject to version 3.01 of the PHP license, | |