w3.org footer referenced by $have_ent-detected optional redirection
authorshort <>
Thu, 25 Apr 2002 16:19:31 +0000 (16:19 +0000)
committershort <>
Thu, 25 Apr 2002 16:19:31 +0000 (16:19 +0000)
commit1ba8aa5c2ec7265a95007cb9948b141c1a9672f3
tree438a1851d3bb4d745fa1d36bd2b74bdb4e461f19
parent83149e59cb1ac3f57b155e99878a6f44a6bfd187
w3.org footer referenced by $have_ent-detected optional redirection
 - currently $have_ent-detection disabled completely, not worth the cost
config.php