JavaScript: Move --html elements extractor options into options file.

This commit is contained in:
Max Schaefer
2019-11-05 16:20:23 +00:00
parent 8fdf6298b9
commit 5681565d4a
9 changed files with 1 additions and 8 deletions

View File

@@ -4,5 +4,4 @@
<li id="first">First element
<li id="first">Second element
</ul>
semmle-extractor-options: --html elements
</body>

View File

@@ -10,5 +10,4 @@
<li class="duplicate-class">duplicate-class</li>
<li class="duplicate-class">duplicate-class</li>
</ul>
semmle-extractor-options: --html elements
</body>

View File

@@ -1,2 +1 @@
<a href="http://semmle.com" href="https://semmle.com">Semmle</a>
semmle-extractor-options: --html elements

View File

@@ -1,2 +1 @@
<a href="https://semmle.com">Semmle</a>
semmle-extractor-options: --html elements

View File

@@ -1,2 +1 @@
<a href="https://semmle.com" href="https://semmle.com">Semmle</a>
semmle-extractor-options: --html elements

View File

@@ -1,2 +1 @@
<a href="https://semmle.com">Semmle</a>
semmle-extractor-options: --html elements

View File

@@ -1,2 +1 @@
<div id="heading important">An important heading</div>
semmle-extractor-options: --html elements

View File

@@ -1,2 +1 @@
<div class="heading important">An important heading</div>
semmle-extractor-options: --html elements

View File

@@ -0,0 +1 @@
semmle-extractor-options: --html elements