From 4d08ddbf3f10b82ef8411cd4d5dbe3e270bd427e Mon Sep 17 00:00:00 2001 From: valeria-meli Date: Fri, 9 Oct 2020 15:17:34 -0300 Subject: [PATCH] bug? --- final.ql | 2 ++ plugin-options.ql | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/final.ql b/final.ql index 8b13789..ddb661a 100644 --- a/final.ql +++ b/final.ql @@ -1 +1,3 @@ +import javascript +select "" \ No newline at end of file diff --git a/plugin-options.ql b/plugin-options.ql index 18246b8..b73394a 100644 --- a/plugin-options.ql +++ b/plugin-options.ql @@ -5,4 +5,4 @@ where read = jquery().getAPropertyRead() and read.getPropertyName() = "fn" and read.getAPropertySource() = plugin and options = plugin.getLastParameter() -select plugin, options \ No newline at end of file +select options \ No newline at end of file