Re: [PHP-DEV] What to do with ext/snmp?

We have switched to a userland library (https://github.com/FreeDSx/SNMP) due to crashes when using the internal SNMP extension in ZTS scenarios. It doesn't really answer your question, but maybe it fits category two, that usage is not very high or that people chose the pure PHP version. Michael A

Re: [PHP-DEV] Surveying interest regarding CMake

Hi Horváth, just wanted to give my +1 on this one. For our use-case (PHP Embed, ZTS, Static Build) this would greatly simplify our build-system which is already using CMake in a lot of parts. Unfortunately I am not a CMake expert, but could offer help in testing and feedback. Regards, Michael Am

Re: [PHP-DEV] [RFC] Under Discussion: Default User-Agent for cURL

Hi Dan, that sounds reasonable. I have also updated the target to 8.2 and will wait a big more to give everyone extra time. Am Mi., 7. Juli 2021 um 18:13 Uhr schrieb Dan Ackroyd < dan...@basereality.com>: > On Tue, 6 Jul 2021 at 15:58, Michael Maroszek wrote: > > > > Dear

Re: [PHP-DEV] [RFC] Under Discussion: Default User-Agent for cURL

ching the core user_agent options behaviour. That is being able to modify the user_agent via ini_set during runtime. Thank you for all the contributions! Am Di., 29. Juni 2021 um 10:35 Uhr schrieb Michael Maroszek < par...@gmail.com>: > Hi! > > Would anyone else be in favor of re

Re: [PHP-DEV] [RFC] Under Discussion: Default User-Agent for cURL

hr schrieb Aleksander Machniak : > On 27.06.2021 08:48, Michael Maroszek wrote: > > That's what I also thought when making the PR and therefore I initially > > went with PHP_INI_ALL. > > > > But Tyson made a good point that the curl.cainfo is PHP_INI_SYSTEM and we > >

Re: [PHP-DEV] [RFC] Under Discussion: Default User-Agent for cURL

gards Michael Am Sa., 26. Juni 2021 um 09:20 Uhr schrieb Aleksander Machniak : > On 25.06.2021 16:33, Michael Maroszek wrote: > > > > Please have a look at the full RFC: > https://wiki.php.net/rfc/curl_user_agent > > > > There is one open issue which Tyson raised to fin

[PHP-DEV] [RFC] Under Discussion: Default User-Agent for cURL

Dear internals, I would like to propose an RFC to add a new php.ini option called curl.user_agent which allows setting a default User-Agent for all cURL requests. This option is the equivalent to user_agent for stream based functions (like file_get_contents). The proposal is quite simple and has n

[PHP-DEV] RFC Karma

Hi Internals, i'd like to request RFC Karma (Username: paresy) to create the RFC for my cURL user agent proposal: https://github.com/php/php-src/pull/6834 Thanks, Michael

Re: [PHP-DEV] add php.ini entry to set default user_agent for curl

rection of consistency instead of my rather minor use case. I hope that it helps to understand my motivation. Michael Am Mo., 12. Apr. 2021 um 17:02 Uhr schrieb Nikita Popov < nikita@gmail.com>: > On Thu, Apr 8, 2021 at 2:41 PM Michael Maroszek wrote: > >> Dear Internals,

[PHP-DEV] add php.ini entry to set default user_agent for curl

Dear Internals, I'd like to suggest a new enhancement for 8.1 as outlined in the title. The initial pull request is here: https://github.com/php/php-src/pull/6834/files --- Details: Since quite a while PHP offers a dedicated user_agent php.ini entry, but it affects only all internal implementatio