You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think the best way to handle this is probably by adding a new flag to be able to specify a custom filename, which is what really controls the order that PHP loads the files/extensions AFAIK. Something like --ini-name would be my preference for the flag name, with usage like docker-php-ext-enable --ini-name=0-first-load.ini some-extension. I'll start working on a PR. 😄
Activity
tianon commentedon Jan 20, 2016
I think the best way to handle this is probably by adding a new flag to be able to specify a custom filename, which is what really controls the order that PHP loads the files/extensions AFAIK. Something like
--ini-namewould be my preference for the flag name, with usage likedocker-php-ext-enable --ini-name=0-first-load.ini some-extension. I'll start working on a PR. 😄