On 14.09.2024 at 23:44, Barel wrote: > […] One important feature > would be to easily work with the project running on a docker container
You may be interested in <https://github.com/php/php-src/pull/15203>. Christoph
- [PHP-DEV] Which IDE do you recommend for php-src devel... Barel
- Re: [PHP-DEV] Which IDE do you recommend for php-... Jordan LeDoux
- Re: [PHP-DEV] Which IDE do you recommend for php-... Pierre
- Re: [PHP-DEV] Which IDE do you recommend for php-... Ilija Tovilo
- Re: [PHP-DEV] Which IDE do you recommend for ... Tim Düsterhus
- Re: [PHP-DEV] Which IDE do you recommend for ... Christoph M. Becker
- Re: [PHP-DEV] Which IDE do you recommend for php-... Christoph M. Becker
- Re: [PHP-DEV] Which IDE do you recommend for php-... Derick Rethans
- [PHP-DEV] Re: Which IDE do you recommend for php-... Barel
- Re: [PHP-DEV] Re: Which IDE do you recommend ... Hans Henrik Bergan
- Re: [PHP-DEV] Re: Which IDE do you recomm... Larry Garfield
- Re: [PHP-DEV] Which IDE do you recommend for php-... Levi Morrison
