Re: [sensors] Introduce WebDriver extension API

Ah, it's because it's a separate file, webdriver-extension/index.bs. Never mind me.

-- 
GitHub Notification of comment by foolip
Please view or discuss this issue at https://github.com/w3c/sensors/pull/369#issuecomment-413661097 using your GitHub account

Received on Thursday, 16 August 2018 19:39:06 UTC