diff options
Diffstat (limited to 'scripts/dev/check_parameters.php')
| -rwxr-xr-x | scripts/dev/check_parameters.php | 2 |
1 files changed, 0 insertions, 2 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, | |