Get rid of $_SESSION['big_pipe_has_js'] ?

#2469431-100: BigPipe for auth users: first send+render the cheap parts of the page, then the expensive parts had a plan to get rid of $_SESSION['big_pipe_has_js'] and the awkward big_pipe_form_user_login_form_alter(), strictly tied to UI logins and the 'user_login' form :

@Fabianx on #2469431-100: BigPipe for auth users: first send+render the cheap parts of the page, then the expensive parts :

The deal is:

- Assume 90-95% of users have JS on
- Assume that a user can turn off JS at any time

Solution:

- Assume JavaScript is on
- Add inside tags inside the html_head to forward to /bigpipe/js-off?destination=
- That user is then blacklisted for the remainder of their session and apart from 2 redirects, it is 100% transparent and gracefully degrades the UX

That still sounds like a great idea :-)