class DevToolsHeader

Constants

DEVTOOLS_ID

Response header stamped on every response with the entry's ULID.

DEVTOOLS_BASE_PATH

Response header carrying the path the app is served from, set only when it is not the origin root. The extension fetches the entry endpoint itself, and knows the origin but not where within it the app lives.

DEVTOOLS_OUTGOING_PARENT

Response header set on every response, carrying the batch root id. The client forwards it as DEVTOOLS_INCOMING_PARENT on the next same-batch request so follow-ups (including those after a redirect) attach to the batch root.

DEVTOOLS_INCOMING_PARENT

Request header forwarded by the client to stamp the entry's batchId.

DEVTOOLS_TAB

Request header carrying the extension-assigned per-tab UUID.

DEVTOOLS_VISIT

Request header carrying the client visit id, used to correlate the recorded entry with the browser-side page state in the devtools extension.

DEVTOOLS_DEFERRED

Request header the client stamps on a deferred-prop follow-up visit. On the wire a deferred fetch is indistinguishable from a manual partial reload, so the extension forwards the client's deferred intent for the recorder to read.

DEVTOOLS_POLL

Request header the client stamps on a polling visit. On the wire a poll tick is indistinguishable from a manual reload or partial, so the extension forwards the client's poll intent for the recorder to read.

Methods

static string|null
read(Request $request, string $header)

Read a request header, returning null when it is absent or empty.

Details

at line 63
static string|null read(Request $request, string $header)

Read a request header, returning null when it is absent or empty.

Parameters

Request $request
string $header

Return Value

string|null