Hey,
No, just set $wgServer to the protocol-relative URL (e.g.
"//wiki.example.com") and set $wgCanonicalServer to the protocol-specific URL (e.g. https://wiki.example.com). This is how we do it at WMF. I have tested this setup just now with the HTML file cache, and it works just fine.
Thanks Tim! I had pretty much given up hope to get a useful answer in this thread after 50 mails, so this was a happy surprise :) Problem solved.
Cheers
-- Jeroen De Dauw http://www.bn2vs.com Don't panic. Don't be evil. ~=[,,_,,]:3 --