Nondeterministic extraction of javascript links

[woconnor]

Links with a javascript: target are nondeterministically extracted. The result varies from execution to execution; these links are randomly included or discarded.

For example, the following snippet

    <ul>
      <li><a href="javascript:void(0);" id="foo">Foo</a></li>
      <li><a href="javascript:void(0);" id="bar">Bar</a></li>
      <li><a href="javascript:void(0);" id="baz">Baz</a></li>
    </ul>

Is randomly turned into something like <ul><li></li><li></li><li>Baz</li></ul> or <ul><li>Foo</li><li>Bar</li><li></li></ul> depending on the execution. See attached file for a complete example.

Ideally the extraction result should be the same every time.

jslinks.txt