Merge bot PR

Treat #[Pure(true)] in PhpStorm stubs as hasSideEffects => true #3069

Sign in to view logs

Triggered via pull request March 13, 2025 16:59

zonuexe

opened #3880

zonuexe:feature/phpstorm-stub-pure-true-as-sideeffect

Status Success

Total duration 25s

Artifacts –

merge-bot-pr.yml

on: pull_request