w3.org footer referenced by $have_ent-detected optional redirection
authorshort <>
Thu, 25 Apr 2002 16:20:53 +0000 (16:20 +0000)
committershort <>
Thu, 25 Apr 2002 16:20:53 +0000 (16:20 +0000)
commit0d99e7b25dd44c48aa1bcbbda6eae356ff71890f
tree4f64e5414c9209f1f1310b0ce387ef9c0c138a0c
parent375a7550ff09508fe75496a0a390ce0beda36783
w3.org footer referenced by $have_ent-detected optional redirection
 - currently $have_ent-detection disabled completely, not worth the cost
config.php