diff options
author | Josh Spicer <joshspicer@github.com> | 2022-08-26 19:04:54 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-26 19:04:54 +0300 |
commit | 8befe8c114095eead94ddbe8974e4386f4b814fd (patch) | |
tree | 4b858c7f596fa025b6e425933d5c24572f575e88 /src/php/devcontainer-feature.json | |
parent | e43c0de31910f8ad04bdcd92999ebbfeaeb3da9b (diff) |
bump all features to pick up metadata changes in CLI v0.14.0 (#118)
Diffstat (limited to 'src/php/devcontainer-feature.json')
-rw-r--r-- | src/php/devcontainer-feature.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/php/devcontainer-feature.json b/src/php/devcontainer-feature.json index d20ad2d..7486300 100644 --- a/src/php/devcontainer-feature.json +++ b/src/php/devcontainer-feature.json @@ -1,6 +1,6 @@ { "id": "php", - "version": "1.0.4", + "version": "1.0.5", "name": "PHP", "documentationURL": "https://github.com/devcontainers/features/tree/main/src/php", "options": { |