DevToolsHeader
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
Details
at line 63
static string|null
read(Request $request, string $header)
Read a request header, returning null when it is absent or empty.