diff options
| author | Florian MARGAINE <florian@margaine.com> | 2014-09-20 10:01:44 +0200 |
|---|---|---|
| committer | Florian MARGAINE <florian@margaine.com> | 2014-09-20 10:01:44 +0200 |
| commit | cf0303e7824c3e20e9db240f9d4e4b154cc2a72d (patch) | |
| tree | 89aa4aab62b422615a7441552b3a0176b22b2b0d /scripts/dev | |
| parent | 25f5ba94aca1e89ee5f0c66513e58826afa3b853 (diff) | |
| download | php-git-cf0303e7824c3e20e9db240f9d4e4b154cc2a72d.tar.gz | |
Replaces php5 with php7, without whitespace changes.
Diffstat (limited to 'scripts/dev')
| -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 801637cd19..5be84fda07 100755 --- a/scripts/dev/credits +++ b/scripts/dev/credits @@ -10,9 +10,9 @@ do /* DO NOT EDIT THIS FILE! - it has been automaticaly created by php5/scripts/credits from - the information found in the various php5/ext/.../CREDITS and - php5/sapi/.../CREDITS files + it has been automaticaly created by php7/scripts/credits from + the information found in the various php7/ext/.../CREDITS and + php7/sapi/.../CREDITS files if you want to change an entry you have to edit the appropriate CREDITS file instead |