diff options
Diffstat (limited to 'travis')
| -rwxr-xr-x | travis/setup-php-extensions.sh (renamed from travis/install-php-extensions.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/travis/install-php-extensions.sh b/travis/setup-php-extensions.sh index 18d6e7e09d..18d6e7e09d 100755 --- a/travis/install-php-extensions.sh +++ b/travis/setup-php-extensions.sh |