diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-01-28 11:26:45 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-01-28 11:26:45 +0100 |
| commit | 8eeb1102d0f7caf2441ad92da3cfa6060e2e04fc (patch) | |
| tree | 795f6c7c45bd5d0afc3f6b4ba1c21b3a5938f9a7 /scripts | |
| parent | 768bc7a0b8ee2a139111c8825e689a37f22ba0b7 (diff) | |
| download | php-git-8eeb1102d0f7caf2441ad92da3cfa6060e2e04fc.tar.gz | |
Avoid mention of php7 in credits script
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/dev/credits | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/dev/credits b/scripts/dev/credits index df94e08aea..bdeb2bce07 100755 --- a/scripts/dev/credits +++ b/scripts/dev/credits @@ -10,9 +10,9 @@ do /* DO NOT EDIT THIS FILE! - it has been automatically created by php7/scripts/credits from - the information found in the various php7/ext/.../CREDITS and - php7/sapi/.../CREDITS files + it has been automatically created by scripts/dev/credits from + the information found in the various ext/.../CREDITS and + sapi/.../CREDITS files if you want to change an entry you have to edit the appropriate CREDITS file instead |