Files
servo/components/script/dom
bors-servo 3f30720bba Auto merge of #23363 - Darkspirit:https, r=jdm
More https

* Disabled unused legacy TLS.
It will be disabled for Nightly 72 or 73 in 5-7 months and ride the [trains](https://wiki.mozilla.org/Release_Management/Calendar).
https://blog.mozilla.org/security/2018/10/15/removing-old-versions-of-tls/
* Updated MPL license in a few files.
It would be nice if a new version of https://pypi.org/project/servo_tidy/ could be released to update WebRender as well.
* Switched servo-deps.s3.amazonaws.com back to https.
This was recently regressed by 10585be25c and fc28073dfb.
* Made https the default protocol for address bar on desktop.
Press Ctrl+L on the Glutin port and enter `example.com`:
Servo previously assumed you meant `http://example.com/`, now it is `https://example.com/`.

---

- [x] `./mach build --release` does not report any errors
- [x] `./mach test-tidy` does not report any errors

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/23363)
<!-- Reviewable:end -->
2019-05-14 08:21:17 -04:00
..
2019-03-10 17:51:35 +01:00
2019-05-10 22:43:43 -04:00
2019-04-25 11:37:35 +02:00
2019-04-30 16:54:52 -07:00
2019-04-30 16:54:52 -07:00
2019-05-10 22:43:43 -04:00
2019-04-25 11:37:35 +02:00
2019-05-13 14:17:12 -04:00
2018-11-19 14:47:12 +01:00
2019-05-10 22:43:43 -04:00
2018-11-19 14:47:12 +01:00
2018-11-19 14:47:12 +01:00
2019-05-07 12:56:10 +02:00
2019-03-26 09:39:07 +02:00
2019-05-10 22:43:43 -04:00
2019-05-10 22:43:43 -04:00
2018-11-19 14:47:12 +01:00
2019-05-10 22:43:43 -04:00
2019-03-10 17:51:35 +01:00
2019-01-23 00:38:44 +08:00
2019-01-23 00:38:44 +08:00
2019-05-10 22:43:43 -04:00
2019-03-10 17:51:35 +01:00
2019-04-19 16:50:38 -07:00
2019-04-25 11:37:35 +02:00
2019-03-10 17:51:35 +01:00
2019-05-10 15:03:19 +02:00
2019-04-25 11:37:35 +02:00
2018-11-19 14:47:12 +01:00
2019-05-10 22:43:43 -04:00
2019-04-19 16:50:38 -07:00
2019-01-29 11:37:00 -08:00
2019-05-08 08:15:01 -07:00
2018-11-27 17:33:13 -08:00
2019-04-26 12:00:26 +02:00
2019-04-30 16:54:52 -07:00
2019-01-04 15:27:23 +01:00
2019-04-25 11:37:35 +02:00
2018-11-19 14:47:12 +01:00
2019-01-04 15:27:23 +01:00
2019-03-10 17:51:35 +01:00
2019-01-10 22:43:29 +08:00
2018-11-19 14:47:12 +01:00
2019-05-10 22:43:43 -04:00
2019-05-10 22:43:43 -04:00
2019-05-10 22:43:43 -04:00
2019-05-10 22:43:43 -04:00
2019-04-25 11:37:35 +02:00
2019-04-04 17:22:08 -07:00
2019-01-03 23:53:50 -08:00
2019-05-03 18:46:31 -07:00
2019-05-03 18:46:31 -07:00
2019-03-26 00:09:15 -07:00
2019-01-03 23:53:50 -08:00