"Fossies" - the Fresh Open Source Software Archive

Member "incubator-pagespeed-mod-1.14.36.1/html/doc/_footer.html" (28 Feb 2020, 3216 Bytes) of package /linux/www/apache_httpd_modules/incubator-pagespeed-mod-1.14.36.1.tar.gz:


As a special service "Fossies" has tried to format the requested source page into HTML format using (guessed) HTML source code syntax highlighting (style: standard) with prefixed line numbers. Alternatively you can here view or download the uninterpreted source code file.

    1 <!--
    2 Licensed to the Apache Software Foundation (ASF) under one
    3 or more contributor license agreements.  See the NOTICE file
    4 distributed with this work for additional information
    5 regarding copyright ownership.  The ASF licenses this file
    6 to you under the Apache License, Version 2.0 (the
    7 "License"); you may not use this file except in compliance
    8 with the License.  You may obtain a copy of the License at
    9 
   10   http://www.apache.org/licenses/LICENSE-2.0
   11 
   12 Unless required by applicable law or agreed to in writing,
   13 software distributed under the License is distributed on an
   14 "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
   15 KIND, either express or implied.  See the License for the
   16 specific language governing permissions and limitations
   17 under the License.
   18 -->
   19 
   20 <div id=footer>
   21   <!--#include virtual="_navline.html" -->
   22 </div>
   23 
   24 <script>
   25 function buildTocHelper(node, headers) {
   26   if (node.nodeType == 1) {
   27     // Element node.
   28     var nodeName = node.nodeName.toLowerCase();
   29     if (nodeName == "h2" || nodeName == "h3" || nodeName == "h4" ||
   30         nodeName == "h5" || nodeName == "h6") {
   31       if (node.id) {
   32         headers.push([nodeName, node.innerHTML, node.id]);
   33     node.appendChild(document.createTextNode("\u00A0"));  // nbsp
   34     var a = document.createElement("a");
   35     a.class = "header-link";
   36     a.href = "#" + node.id;
   37     a.textContent = "\uD83D\uDD17";  // link symbol
   38     node.appendChild(a);
   39       }
   40     } else {
   41       for (var i = 0; i < node.childNodes.length; i++) {
   42         buildTocHelper(node.childNodes[i], headers);
   43       }
   44     }
   45   }
   46 }
   47 
   48 function buildToc() {
   49   var headers = [];
   50   buildTocHelper(document.body, headers);
   51   if (headers.length == 0) {
   52     return;
   53   }
   54 
   55   var toc = document.getElementById("toc");
   56   var tocContents = document.createElement("div");
   57   tocContents.id = "toc-contents";
   58   tocContents.textContent = "Contents";
   59   toc.appendChild(tocContents);
   60 
   61   var level = 1;
   62   var currentUl = null;
   63   for (var i = 0; i < headers.length; i++) {
   64     var header = headers[i];
   65     var headerLevel = header[0];
   66     var headerValue = header[1];
   67     var headerId = header[2];
   68 
   69     var newLevel = parseInt(headerLevel.substring(1));
   70     while (newLevel > level) {
   71       // We loop here to handle the case where we have h2 ... h4.  This
   72       // isn't a good way to write html, but someone may still do it.
   73 
   74       var newUl = document.createElement("ul");
   75       if (currentUl == null) {
   76         toc.appendChild(newUl);
   77       } else {
   78         currentUl.appendChild(newUl);
   79       }
   80       currentUl = newUl;
   81       level++;
   82     }
   83     while (newLevel < level) {
   84       currentUl = currentUl.parentNode;
   85       level--;
   86     }
   87     var li = document.createElement("li");
   88     var a = document.createElement("a");
   89     a.href = "#" + headerId;
   90     a.textContent = headerValue;
   91     li.appendChild(a);
   92     currentUl.appendChild(li);
   93   }
   94 }
   95 
   96 function wrapTables() {
   97   var tables = document.getElementsByTagName("table");
   98   for (var i = 0; i < tables.length; i++) {
   99     var table = tables[i];
  100     var parent = table.parentNode;
  101     var div = document.createElement('div');
  102     div.className = "table-wrapper";
  103     parent.insertBefore(div, table);
  104     div.appendChild(table);
  105   }
  106 }
  107 
  108 buildToc();
  109 wrapTables();
  110 </script>