mirror of https://github.com/grpc/grpc.git
Merge pull request #24085 from HannahShiSFB/del-php5-part3
PHP: replace php/php-dev to php7.2/php7.2-dev and delete php5 testspull/24304/head
commit
2f6fe29341
7 changed files with 5 additions and 76 deletions
@ -1,21 +0,0 @@ |
||||
# Copyright 2015 gRPC authors. |
||||
# |
||||
# Licensed under the Apache License, Version 2.0 (the "License"); |
||||
# you may not use this file except in compliance with the License. |
||||
# You may obtain a copy of the License at |
||||
# |
||||
# http://www.apache.org/licenses/LICENSE-2.0 |
||||
# |
||||
# Unless required by applicable law or agreed to in writing, software |
||||
# distributed under the License is distributed on an "AS IS" BASIS, |
||||
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
||||
# See the License for the specific language governing permissions and |
||||
# limitations under the License. |
||||
|
||||
FROM debian:jessie |
||||
|
||||
RUN apt-get update && apt-get install -y php5 php5-dev php-pear wget |
||||
|
||||
RUN wget https://phar.phpunit.de/phpunit-5.7.27.phar && \ |
||||
mv phpunit-5.7.27.phar /usr/local/bin/phpunit && \ |
||||
chmod +x /usr/local/bin/phpunit |
Loading…
Reference in new issue