Skip to content

[lint] Disallow *.mojom.js in WPT#24980

Merged
Hexcles merged 3 commits intomasterfrom
disallow-mojom-js
Aug 13, 2020
Merged

[lint] Disallow *.mojom.js in WPT#24980
Hexcles merged 3 commits intomasterfrom
disallow-mojom-js

Conversation

@Hexcles
Copy link
Member

@Hexcles Hexcles commented Aug 12, 2020

We now have established a formal way to do this (more documentation will
be available in Chromium, as this is Chrome-only) and should no longer
accept these auto-generated files in WPT.

Related to #16455.

We now have established a formal way to do this (more documentation will
be available in Chromium, as this is Chrome-only) and should no longer
accept these auto-generated files in WPT.

Related to #16455.
@wpt-pr-bot wpt-pr-bot temporarily deployed to wpt-preview-24980 August 12, 2020 20:00 Inactive
@wpt-pr-bot wpt-pr-bot temporarily deployed to wpt-preview-24980 August 13, 2020 00:47 Inactive
MISSING DEPENDENCY: webusb/resources/usb-helpers.js
MISSING DEPENDENCY: webxr/resources/webxr_util.js

# TODO(Hexcles): delete these files once we include them in mojojs.zip.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't support we have a bug tracking this on the Chromium side to link to? If not, not super important.

Co-authored-by: Stephen McGruer <[email protected]>
@Hexcles Hexcles merged commit 8aff1ec into master Aug 13, 2020
@Hexcles Hexcles deleted the disallow-mojom-js branch August 13, 2020 23:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants