starter.ini: Change default PHP version to 8.0 and default PHP ppa to ondrej #205
Labels
enhancement
New feature or request
gitpod-config
Related to gitpod configuration (bash scripts etc...)
passed-dev-qa
Optional state. Use this when QAing other peoples fixes in another branch.ready to be merged to main
Milestone
Problem this feature will solve
Using PHP 8.0 and having the ability to add versions of PHP side my side using
ppa:ondrej/php
makes sense as a defaultBackground
The few people interested in this project so far have expressed interest in PHP8.0 so might as well make it the default.
Proposed Solution
The default
version
in the[PHP]
section ofstarter.ini
will have the value8.0
.We will no longer rely on
gitpodlatest
which is the version of PHP used in the underlying Gitpod image:workspace-mysql
The value of
ppa
in the[PHP]
section ofstarter.ini
will be set toondrej
Constraints and Assumptions
Alternatives or Workarounds
Additional context
Add any other context or screenshots about the feature request here.
The text was updated successfully, but these errors were encountered: