Maybe a special comment, something like: <!-- line=myfile.js:20 > To set the reported filename / line number in the inspector. This could be particularly useful when debugging large source files, composed from a concatenation of smaller ones.
Why would you use a HTML comment in a JS file? ;)
This is a valid comment format in ECMAscript. :-(
Interesting… never knew.
Closing as invalid, as this bug pertains to the old inspector UI and/or its tests. Please file a new bug (https://www.webkit.org/new-inspector-bug) if the bug/feature/issue is still relevant to WebKit trunk.