Stream filter seeking#19981

Open

bukka wants to merge 16 commits intophp:masterfrom

bukka:stream_filter_seeking

Commits on Nov 20, 2025

stream: implement initial changes to control filter seeking
bukka
committed

Commits on Nov 21, 2025

stream: break current streams API for cleaner design
bukka
committed

Commits on Nov 23, 2025

Commits on Nov 24, 2025