webkit: provide port name as run info#13862

Merged

jgraham merged 2 commits intoweb-platform-tests:masterfrom zdobersek:webkit-run-info-port-name

Nov 7, 2018

+6-1

Commits on Nov 2, 2018

webkit: provide port name as run info
zdobersek
committed

Commits on Nov 3, 2018

webkit: expand the exposed run info variable to 'webkit_port'.
zdobersek
committed