Skip to content

[php 8.5] Pipe Operator#7364

Closed
arshidkv12 wants to merge 9 commits intorectorphp:mainfrom
arshidkv12:85-pipe
Closed

[php 8.5] Pipe Operator#7364
arshidkv12 wants to merge 9 commits intorectorphp:mainfrom
arshidkv12:85-pipe

Conversation

@arshidkv12
Copy link
Copy Markdown
Contributor

No description provided.

@samsonasik
Copy link
Copy Markdown
Member

Could you create downgrade rule for it at

https://github.com/rectorphp/rector-downgrade-php

Thank you.

@arshidkv12
Copy link
Copy Markdown
Contributor Author

Sure. :)

@TomasVotruba TomasVotruba self-requested a review October 25, 2025 14:30
@TomasVotruba
Copy link
Copy Markdown
Member

I'm looking into this...

@TomasVotruba
Copy link
Copy Markdown
Member

@arshidkv12 Thank you for your work. I've rebased your PR and added couple fixes noted by @samsonasik
in #7577

Let's ship this to test it before PHP 8.5 release :) great job!

@github-actions
Copy link
Copy Markdown
Contributor

This pull request has been automatically locked because it has been closed for 150 days. Please open a new PR if you want to continue the work.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Mar 29, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants