JavaScript: Replace --externs extractor flag with /** @externs */ comment.

This commit is contained in:
Max Schaefer
2019-11-05 16:09:17 +00:00
parent 1fa8c43a8c
commit 4848372435
17 changed files with 17 additions and 17 deletions

View File

@@ -7,4 +7,4 @@ String.prototype.toString = function() {};
function Array() {}
Array.prototype.toString = function() {};
//semmle-extractor-options: --externs
/** @externs */