Add an alternate value for $web_domain
tree9d57b4226beccc5776f8fd970a5afd0250727d47
-rw-r--r-- 1704 TODO.txt
-rw-r--r-- 2521 XHTMLCompiler.php
drwxr-xr-x - XHTMLCompiler
drwxr-xr-x - catalog
-rw-r--r-- 1315 common.php
-rw-r--r-- 4093 config.default.php
-rw-r--r-- 497 config.filters.php
-rw-r--r-- 686 config.smoketest.php
drwxr-xr-x - docs
-rw-r--r-- 413 error.css
-rw-r--r-- 1252 error.xsl
-rw-r--r-- 7504 functions.php
-rw-r--r-- 5873 htaccess.php
-rw-r--r-- 1049 index.html
-rw-r--r-- 407 main.php
drwxr-xr-x - modules
-rw-r--r-- 1418 purgatory.php
drwxr-xr-x - smoketests
drwxr-xr-x - tests
-rw-r--r-- 3766 update.php