summaryrefslogtreecommitdiff
path: root/scripts/dev/check_parameters.php
diff options
context:
space:
mode:
authorGabriel Caruso <carusogabriel34@gmail.com>2019-09-24 23:54:04 +0200
committerGabriel Caruso <carusogabriel34@gmail.com>2019-09-25 14:51:43 +0200
commit5d6e923d46a89fe9cd8fb6c3a6da675aa67197b4 (patch)
tree97a0a24512c3c7aa275615298ca362d6fa54ff82 /scripts/dev/check_parameters.php
parentfb60ccc666e5b7245e7abf13314e79d9986b5b4e (diff)
downloadphp-git-5d6e923d46a89fe9cd8fb6c3a6da675aa67197b4.tar.gz
Remove mention of PHP major version in Copyright headers
Closes GH-4732.
Diffstat (limited to 'scripts/dev/check_parameters.php')
-rwxr-xr-xscripts/dev/check_parameters.php2
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, |