Web UI: add user name to the Documentation link URL

[alexey-milovidov]

The Documentation link in the Web UI (play.html) now carries the Play username over to the /docs page as a user query parameter, so the docs page connects as the same user instead of falling back to the server default user.

The password is intentionally omitted to avoid leaking it in the URL. The link stays in sync as the username changes, matching the existing behavior of the Web Terminal link.

Changelog category (leave one):

• Improvement

Changelog entry (a user-readable short description of the changes that goes into CHANGELOG.md):

Web UI: the Documentation link now carries the current user name in the URL.

🤖 Generated with Claude Code

Version info

• Merged into: 26.7.1.1195 (included in 26.7 and later)

[clickhouse-gh]

Workflow [PR], commit [c7e3914]

Summary: ✅

• Performance Comparison: Performance dashboard

---

AI Review

Summary

This PR updates play.html so the Documentation link points at the configured server and forwards the current Play user in ?user=. The earlier stale-href issues appear fixed, but the new propagation still misses one supported way Play carries the current user, so the docs page can still reconnect as the server default user instead of the active Play user. Final verdict: changes requested.

Findings

⚠️ Majors

• [programs/server/play.html:3871] play.html already treats the connection identity as "explicit user field first, otherwise the username embedded in url_elem.value" (effectiveConnectionUser), but this link only forwards the visible field. With a connection like http://alice@host:8123/ and an empty user field, /docs still opens without ?user=alice; docs.html then initializes its own server URL from location.origin and only restores $user from the query string, so later documentation queries run as the server default user. Suggested fix: forward effectiveConnectionUser(url_elem.value, user_elem.value) (or equivalent field-first fallback to URL userinfo) when building the docs link.

Final Verdict

⚠️ Needs changes before merge: the docs link still drops the effective user when Play authenticates through URL userinfo, so the PR does not yet meet its "open docs as the same user" contract.

[clickhouse-gh]

play.html already treats the connection user as "explicit user field first, otherwise the username embedded in url_elem.value" (see effectiveConnectionUser). This update only forwards user_elem.value, so a connection like http://alice@host:8123/ with an empty user field still opens /docs without ?user=alice. docs.html then seeds $url from location.origin and only restores $user from the query string, so its later queries run as the server default user instead of alice.

Please forward the effective connection user here (field first, otherwise URL userinfo) rather than only the visible field value.

[alexey-milovidov]

Isn't a big deal.