PHP7.4 → 8.x でリダイレクト header('location: ...'); 以降が処理されるようになった

PHP7.4 から 8.x への切り替えで遭遇した不具合メモ

とあるライブラリで

header('location: ...');

の記述があり、その後の処理はリダイレクトされ、実行されない前提で書かれていたが

PHP7.4 から 8.x へ移行したら、locationヘッダ出力以降も処理され、思わぬ動作に

ブラウザへの出力タイミングが変わったのかもしれません(ある程度まとめて出力とか)