Merge branch 'develop' into gh-pages

* develop:
  v19.1.0
  chore(package): use uglify-es 3.3.7 (#1474)
  feat(webidl): support interface mixins (#1468)
  refactor: Migrate to ES2017 async functions (#1471)
  Fix(w3c/headers): typo (#1472)
  chore: update webidl2.js to version 10.2.0 (#1465)
  workaround: add git commit hash (#1464)
  fix: nightmare api usage (#1460)
  New link to the Process 2018 (#1466)
  fix: roll back to uglify-es 3.2.2 (#1461)

examples/basic.html

@@ -12,7 +12,7 @@
           name: "Your Name",
           url: "https://your-site.com",
         }],
-        processVersion: 2017,
+        processVersion: 2018,
         edDraftURI: "https://some.github.repo",
         shortName: "dahut"
       };

examples/starter.html

@@ -11,7 +11,7 @@
           name: "Your Name",
           url: "http://your-site.com",
         }],
-        processVersion: 2017,
+        processVersion: 2018,
         edDraftURI: "http://some.github.repo",
         shortName: "dahut"
       };

js/core/css/webidl.css

@@ -228,7 +228,7 @@ a.idlEnumItem {
   color: #c00;
 }
 
-.idlImplements a {
+.idlImplements a, .idlIncludes a {
   font-weight: bold;
 }
 

js/core/templates/webidl-contiguous/includes.html

@@ -0,0 +1,2 @@
+<span class='idlIncludes'>{{extAttr obj indent
+}}{{idn indent}}<a>{{obj.target}}</a> includes <a>{{obj.includes}}</a>;</span>

js/core/templates/webidl-contiguous/interface.html

@@ -1,4 +1,4 @@
 <span class='idlInterface' id='{{obj.idlId}}' data-idl data-title='{{obj.name}}'>{{extAttr obj indent
-}}{{idn indent}}{{partial}}{{callback}}interface <span class='idlInterfaceID'>{{#tryLink obj}}{{obj.name}}{{/tryLink
+}}{{idn indent}}{{partial}}{{callback}}interface {{mixin}}<span class='idlInterfaceID'>{{#tryLink obj}}{{obj.name}}{{/tryLink
 }}</span>{{#if obj.inheritance}} : <span class='idlSuperclass'><a>{{obj.inheritance}}</a></span>{{/if}} &#123;
 {{{children}}}{{idn indent}}&#125;;</span>

js/w3c/templates/sotd.html

@@ -178,7 +178,7 @@ <h2>{{l10n.sotd}}</h2>
         </p>
         {{#if isNewProcess}}
           <p>This document is governed by the <a id="w3c_process_revision"
-            href="https://www.w3.org/2017/Process-20170301/">1 March 2017 W3C Process Document</a>.
+            href="https://www.w3.org/2018/Process-20180201/">1 February 2018 W3C Process Document</a>.
           </p>
         {{else}}
           <p>