Closed
Description
Currently, there is no way to load additional php.ini files.
When you specify options.file
, you override the default loaded php.ini completely.
{
"applications": {
"hello-world": {
"type": "php",
"root": "/www/public",
"script": "index.php",
"options": {
"file": "some-tweaks.ini"
}
}
}
}
When reading the code, it seems this is how it was designed:
Lines 409 to 422 in c905d0d
Line 671 in c905d0d
But, if you want to enable (zend) extensions on a per application basis, this becomes annoying.
You now have to copy the default php.ini, store it in a new file and then append your tweaks to it.
It would be easier if I could do this:
{
"applications": {
"hello-world": {
"type": "php",
"root": "/www/public",
"script": "index.php",
"options": {
"additional-files": ["some-tweaks.ini"]
}
}
}
}
Or, specify the (additional) extensions that I want to load and let me provide extra config via admin
and user
:
{
"applications": {
"hello-world": {
"type": "php",
"root": "/www/public",
"script": "index.php",
"options": {
"extensions": [],
"zend_extensions": ["xdebug.so"],
"admin": {
"xdebug.mode": "debug",
"xdebug.start_with_request": "trigger",
"xdebug.client_host": "127.0.0.1",
"xdebug.idekey": "PHPSTORM"
}
}
}
}
}