File: file_favicon_change_not_in_document.html

package info (click to toggle)
firefox-esr 128.13.0esr-1
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 4,230,012 kB
  • sloc: cpp: 7,103,971; javascript: 6,088,450; ansic: 3,653,980; python: 1,212,330; xml: 594,604; asm: 420,652; java: 182,969; sh: 71,124; makefile: 20,747; perl: 13,449; objc: 12,399; yacc: 4,583; cs: 3,846; pascal: 2,973; lex: 1,720; ruby: 1,194; exp: 762; php: 436; lisp: 258; awk: 247; sql: 66; sed: 54; csh: 10
file content (20 lines) | stat: -rw-r--r-- 647 bytes parent folder | download | duplicates (23) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
<!DOCTYPE html>
<html><head>
  <meta http-equiv="content-type" content="text/html; charset=utf-8">
  <link rel="icon" href="file_bug970276_favicon1.ico" type="image/ico" id="i">
</head>
<body onload="onload()">
  <script>
  function onload() {
    var ico = document.createElement("link");
    ico.setAttribute("rel", "icon");
    ico.setAttribute("type", "image/ico");
    ico.setAttribute("href", "file_bug970276_favicon1.ico");
    setTimeout(function() {
      ico.setAttribute("href", "file_generic_favicon.ico");
      document.getElementById("i").remove();
      document.head.appendChild(ico);
    }, 1000);
  }
  </script>
</body></html>