set -eu

if [ "${CODEQL_EXTRACTOR_GO_EXTRACT_HTML:-yes}" != "no" ]; then

"$CODEQL_DIST/codeql" database index-files \

--working-dir=. \

--include-extension=.htm \

--include-extension=.html \

--include-extension=.xhtm \

--include-extension=.xhtml \

--include-extension=.vue \

--also-match-lgtm-index-filters \

--size-limit 10m \

--language html \

-- \

"$CODEQL_EXTRACTOR_GO_WIP_DATABASE" \

|| echo "HTML extraction failed; continuing."