Re: [PHP-DEV] [VOTE] PHP Technical Committee

2023-04-29 Thread Peter Kokot
On Fri, 28 Apr 2023 at 12:01, Jakub Zelenka wrote: > > Hi, > > The vote is now open for the RFC about introduction of the PHP Technical > Committee: > > https://wiki.php.net/rfc/php_technical_committee > > Regards > > Jakub It would be also good to know why people vote no. -- PHP Internals -

Re: [PHP-DEV] Moving a tmpfile()?

2023-04-29 Thread Robert Landers
On Sat, Apr 29, 2023 at 9:33 AM Dan Liebner wrote: > > Are there any inherent problems with moving a file created with tmpfile()? > In practice, it seems that it can be done and the file will not be deleted > after being moved and the file handle closed. > > Thanks, > Dan I suspect it depends on

Re: [PHP-DEV] Request for RFC Karma - Enum value semantics proposal

2023-04-29 Thread Lynn
On Fri, Apr 28, 2023 at 11:48 PM Garet Claborn wrote: > You are correct, thank you. > > The RFC draft has been posted to > https://wiki.php.net/rfc/treat_enum_instances_as_values > > -Garet > > I think this example should be "mixed" instead of "$mixed"? `public function offsetGet($mixed

Re: [PHP-DEV] [VOTE] PHP Technical Committee

2023-04-29 Thread Jakub Zelenka
On Sat, Apr 29, 2023 at 9:54 AM Rowan Tommins wrote: > On 28 April 2023 21:03:26 BST, Jakub Zelenka wrote: > >Hi, > > > >Thanks for the feedback even though it would be great to get it during the > >discussion period... > > > I was actually rather surprised to see this go to a vote. The initial

Re: [PHP-DEV] [VOTE] PHP Technical Committee

2023-04-29 Thread Rowan Tommins
On 28 April 2023 21:03:26 BST, Jakub Zelenka wrote: >Hi, > >Thanks for the feedback even though it would be great to get it during the >discussion period... I was actually rather surprised to see this go to a vote. The initial thread only gathered a few replies, and then got swamped by a lot

[PHP-DEV] Moving a tmpfile()?

2023-04-29 Thread Dan Liebner
Are there any inherent problems with moving a file created with tmpfile()? In practice, it seems that it can be done and the file will not be deleted after being moved and the file handle closed. Thanks, Dan