Update PHP to fresh builds

Koc · Mar 6, 2018 · 5245891 · 5245891
1 parent 827fae4
commit 5245891
Show file tree

Hide file tree

Showing 8 changed files with 8 additions and 8 deletions.
diff --git a/web/php-5.6/.devbox.build.yaml b/web/php-5.6/.devbox.build.yaml
@@ -1,4  1,4 @@
 variables:
   PHP_VERSION: 5.6
-  PHP_VERSION_FULL: 5.6.33
   PHP_VERSION_FULL: 5.6.34
   PHPUNIT_VERSION: 5.7
diff --git a/web/php-5.6/Dockerfile b/web/php-5.6/Dockerfile
@@ -41,7  41,7 @@ RUN curl -sS https://dl.yarnpkg.com/debian/pubkey.gpg | apt-key add - \
  && rm -rf /var/lib/apt/lists/* && rm -rf /var/cache/apk/* && rm -rf /tmp/*
 
 ENV PHP_VERSION=5.6 \
- PHP_VERSION_FULL=5.6.33
  PHP_VERSION_FULL=5.6.34
 
 ENV PHP_INI_DIR /etc/php/$PHP_VERSION
 

diff --git a/web/php-7.0/.devbox.build.yaml b/web/php-7.0/.devbox.build.yaml
@@ -1,3  1,3 @@
 variables:
   PHP_VERSION: 7.0
-  PHP_VERSION_FULL: 7.0.27
   PHP_VERSION_FULL: 7.0.28
diff --git a/web/php-7.0/Dockerfile b/web/php-7.0/Dockerfile
@@ -41,7  41,7 @@ RUN curl -sS https://dl.yarnpkg.com/debian/pubkey.gpg | apt-key add - \
  && rm -rf /var/lib/apt/lists/* && rm -rf /var/cache/apk/* && rm -rf /tmp/*
 
 ENV PHP_VERSION=7.0 \
- PHP_VERSION_FULL=7.0.27
  PHP_VERSION_FULL=7.0.28
 
 ENV PHP_INI_DIR /etc/php/$PHP_VERSION
 

diff --git a/web/php-7.1/.devbox.build.yaml b/web/php-7.1/.devbox.build.yaml
@@ -1,3  1,3 @@
 variables:
   PHP_VERSION: 7.1
-  PHP_VERSION_FULL: 7.1.13
   PHP_VERSION_FULL: 7.1.15
diff --git a/web/php-7.1/Dockerfile b/web/php-7.1/Dockerfile
@@ -41,7  41,7 @@ RUN curl -sS https://dl.yarnpkg.com/debian/pubkey.gpg | apt-key add - \
  && rm -rf /var/lib/apt/lists/* && rm -rf /var/cache/apk/* && rm -rf /tmp/*
 
 ENV PHP_VERSION=7.1 \
- PHP_VERSION_FULL=7.1.13
  PHP_VERSION_FULL=7.1.15
 
 ENV PHP_INI_DIR /etc/php/$PHP_VERSION
 

diff --git a/web/php-7.2/.devbox.build.yaml b/web/php-7.2/.devbox.build.yaml
@@ -1,3  1,3 @@
 variables:
   PHP_VERSION: 7.2
-  PHP_VERSION_FULL: 7.2.2
   PHP_VERSION_FULL: 7.2.3
diff --git a/web/php-7.2/Dockerfile b/web/php-7.2/Dockerfile
@@ -41,7  41,7 @@ RUN curl -sS https://dl.yarnpkg.com/debian/pubkey.gpg | apt-key add - \
  && rm -rf /var/lib/apt/lists/* && rm -rf /var/cache/apk/* && rm -rf /tmp/*
 
 ENV PHP_VERSION=7.2 \
- PHP_VERSION_FULL=7.2.2
  PHP_VERSION_FULL=7.2.3
 
 ENV PHP_INI_DIR /etc/php/$PHP_VERSION