header()
указывает PHP, что заголовок HTTP должен быть отправлен ... Когда отправляются заголовки HTTP.
И они отправляются не сразу, когда вы пишете вызов header (), но когда пришло время отправить их (обычно, когда PHP нужно начать отправку тела ответа - что может быть позже, чем Вы думаете, когда output_buffering
достигнут) .
Итак, если вы просто позвоните header()
, то абсолютно не гарантируется, что код, написанный после этого оператора, не будет выполнен - если только вы не укажете, что это не должно, используя exit
/ die
.
Пользователь может игнорировать заголовок Location
, если хочет; но это ничего не изменит в связи с тем, что код после вызова header()
может выполняться или не выполняться: это вопрос на стороне сервера.