<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Anyway, it seems like the CodeEditor extension uses JSHint
    internally: see <a
href="https://git.wikimedia.org/blob/mediawiki%2Fextensions%2FCodeEditor/2d4810f1865b223b28918ff69d580fe17acb6df9/modules%2Face%2Fworker-javascript.js">modules/ace/worker-javascript.js</a>.<br>
    <div class="moz-cite-prefix">Is that version safe?<br>
      <br>
      Il 21/10/2014 05:29, Luis Villa ha scritto:<br>
    </div>
    <blockquote
cite="mid:CAM2wSz5SWwCZ5HzAnKdxjqKjxhr5TPd_zNTdGRNEdSnZKrzeuQ@mail.gmail.com"
      type="cite">
      <div dir="ltr">
        <div class="gmail_extra">
          <div class="gmail_quote">On Mon, Oct 20, 2014 at 9:48 PM,
            Jeremy Baron <span dir="ltr"><<a moz-do-not-send="true"
                href="mailto:jeremy@tuxmachine.com" target="_blank">jeremy@tuxmachine.com</a>></span>
            wrote:<br>
            <blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><br>
              Oh, I see. There's a single file in the repo with a
              different license.<br>
              <a moz-do-not-send="true"
href="https://github.com/jshint/jshint/blob/cf0f2702f9eec54b42c2814dec738b319bf23d1a/src/jshint.js#L19"
                target="_blank">https://github.com/jshint/jshint/blob/cf0f2702f9eec54b42c2814dec738b319bf23d1a/src/jshint.js#L19</a><br>
              <br>
              There's some news at <a moz-do-not-send="true"
                href="https://github.com/jshint/jshint/issues/1234"
                target="_blank">https://github.com/jshint/jshint/issues/1234</a>
              in<br>
              the last 2 weeks.</blockquote>
          </div>
          <br>
          That's some terrific stuff (starting here: <a
            moz-do-not-send="true"
href="https://github.com/jshint/jshint/issues/1234#issuecomment-56875247">https://github.com/jshint/jshint/issues/1234#issuecomment-56875247</a>
          ). </div>
        <div class="gmail_extra"><br>
        </div>
        <div class="gmail_extra">Luis<br>
          <br clear="all">
          <div><br>
          </div>
          -- <br>
          <div dir="ltr">Luis Villa<br>
            Deputy General Counsel<br>
            Wikimedia Foundation<br>
            415.839.6885 ext. 6810<br>
            <div><br>
            </div>
            <div><i><font size="1">This message may be confidential or
                  legally privileged. If you have received it by
                  accident, please delete it and let us know about the
                  mistake. As an attorney for the Wikimedia Foundation,
                  for legal/ethical reasons I cannot give legal advice
                  to, or serve as a lawyer for, community members,
                  volunteers, or staff members in their personal
                  capacity. For more on what this means, please see our <a
                    moz-do-not-send="true"
                    href="https://meta.wikimedia.org/wiki/Wikimedia_Legal_Disclaimer"
                    style="color:rgb(17,85,204)" target="_blank">legal
                    disclaimer</a>.</font></i></div>
          </div>
        </div>
      </div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <br>
      <pre wrap="">_______________________________________________
Labs-l mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Labs-l@lists.wikimedia.org">Labs-l@lists.wikimedia.org</a>
<a class="moz-txt-link-freetext" href="https://lists.wikimedia.org/mailman/listinfo/labs-l">https://lists.wikimedia.org/mailman/listinfo/labs-l</a>
</pre>
    </blockquote>
  </body>
</html>