Auto merge of #25783 - servo-wpt-sync:wpt_update_17-02-2020, r=jdm

Sync WPT with upstream (17-02-2020)

Automated downstream sync of changes from upstream as of 17-02-2020.
[no-wpt-sync]
r? @servo-wpt-sync
This commit is contained in:
bors-servo 2020-02-19 21:58:50 -05:00 committed by GitHub
commit f5ff38b875
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4440 changed files with 664501 additions and 857552 deletions

File diff suppressed because it is too large Load diff