Javascript line number mapping
<p>Magically formatted comments will change the reported line number of javascript errors in some browsers; They look like this:</p>

<pre><code>//@line n "f"
</code></pre>

<p><code>n</code> is the line number and <code>f</code> is the file name. Unfortunately, <code>//@line</code> appears to be ungoogleable. Does anyone know where there is documentation on this feature, and which browsers support it?</p>

<p>(I found references to it <a href="https://bugzilla.mozilla.org/show_bug.cgi?id=618650" rel="nofollow">here</a> and <a href="http://intertwingly.net/blog/2010/11/25/Hobgoblin-of-Little-Minds#c1292142367" rel="nofollow">here</a>.)</p>
