diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/dev/check_parameters.php | 2 | ||||
-rwxr-xr-x | scripts/dev/genfiles | 2 | ||||
-rwxr-xr-x | scripts/dev/search_underscores.php | 2 |
3 files changed, 0 insertions, 6 deletions
diff --git a/scripts/dev/check_parameters.php b/scripts/dev/check_parameters.php index 8c8d6dff40..47b0affacf 100755 --- a/scripts/dev/check_parameters.php +++ b/scripts/dev/check_parameters.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, | diff --git a/scripts/dev/genfiles b/scripts/dev/genfiles index d29c0d778a..ffdfcdc3ca 100755 --- a/scripts/dev/genfiles +++ b/scripts/dev/genfiles @@ -1,8 +1,6 @@ #!/bin/sh # # +----------------------------------------------------------------------+ -# | PHP Version 7 | -# +----------------------------------------------------------------------+ # | Copyright (c) The PHP Group | # +----------------------------------------------------------------------+ # | This source file is subject to version 3.01 of the PHP license, | diff --git a/scripts/dev/search_underscores.php b/scripts/dev/search_underscores.php index 5c2016e489..fd2a54c183 100755 --- a/scripts/dev/search_underscores.php +++ b/scripts/dev/search_underscores.php @@ -3,8 +3,6 @@ /* +----------------------------------------------------------------------+ - | PHP Version 7 | - +----------------------------------------------------------------------+ | Copyright (c) The PHP Group | +----------------------------------------------------------------------+ | This source file is subject to version 3.01 of the PHP license, | |