doc: fix order of end tags of list after heading

Current html result of a list after heading is <div
class="signature"><ul>...</div></ul>. Correct it to <div
class="signature"><ul>...</ul></div>.

PR-URL: #5874
Fixes: #5873
Reviewed-By: Roman Reiss <me@silverwind.io>

tools/doc/html.js

@@ -159,11 +159,11 @@ function parseLists(input) {
       }
       if (tok.type === 'list_end') {
         depth--;
+        output.push(tok);
         if (depth === 0) {
           state = null;
           output.push({ type:'html', text: '</div>' });
         }
-        output.push(tok);
         return;
       }
       if (tok.text) {