diff options
| author | krk <keremkat@gmail.com> | 2019-04-14 14:16:38 +0200 |
|---|---|---|
| committer | krk <keremkat@gmail.com> | 2019-04-20 22:39:22 +0200 |
| commit | dfca8ec913dd77cc07a9cc2053047f0d6bd09ed6 (patch) | |
| tree | 123157223b289fa1ac6ee6f4fce7426a253ee8e7 /components/script_plugins/lib.rs | |
| parent | 328244684a8b1f98d515d5f40655b9cf7347affd (diff) | |
| download | servo-dfca8ec913dd77cc07a9cc2053047f0d6bd09ed6.tar.gz servo-dfca8ec913dd77cc07a9cc2053047f0d6bd09ed6.zip | |
Can collect webidl paths.
Diffstat (limited to 'components/script_plugins/lib.rs')
| -rw-r--r-- | components/script_plugins/lib.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/components/script_plugins/lib.rs b/components/script_plugins/lib.rs index 36c81ce6239..eda133d4b7b 100644 --- a/components/script_plugins/lib.rs +++ b/components/script_plugins/lib.rs @@ -31,6 +31,9 @@ use syntax::feature_gate::AttributeType::Whitelisted; #[cfg(feature = "unrooted_must_root_lint")] mod unrooted_must_root; +#[cfg(feature = "webidl_lint")] +mod webidl_must_inherit; + /// Utilities for writing plugins #[cfg(feature = "unrooted_must_root_lint")] mod utils; @@ -40,7 +43,11 @@ pub fn plugin_registrar(reg: &mut Registry) { #[cfg(feature = "unrooted_must_root_lint")] reg.register_late_lint_pass(Box::new(unrooted_must_root::UnrootedPass::new())); + #[cfg(feature = "webidl_lint")] + reg.register_late_lint_pass(Box::new(webidl_must_inherit::WebIdlPass::new())); + reg.register_attribute("allow_unrooted_interior".to_string(), Whitelisted); reg.register_attribute("allow_unrooted_in_rc".to_string(), Whitelisted); reg.register_attribute("must_root".to_string(), Whitelisted); + reg.register_attribute("webidl".to_string(), Whitelisted); } |