Lines Matching full:https
1200 // are mixed on a page: see https://bugs.webkit.org/show_bug.cgi?id=19127.
