Roan Kattouw wrote:
For the latter, we can even do the redirect to the mobile site in that place so we don't load a ton of JS before deciding to redirect people. OTOH, it might be nice to put a mobile redirect script in the <head> so the browser doesn't have to render the entire page before it hits the redirect script.
I was under the impression the goal for the mobile redirection was to make it entirely server-side, not client-side. That is, the goal isn't to move the script to <head>, it's to remove the need for a script altogether. More info at https://bugzilla.wikimedia.org/show_bug.cgi?id=24859
MZMcBride