> Do we still need the validate thing? We don't care anymore about if
> $config_php is set, because it isn't defined, right?
Uh, I was referring to the entire file. Why include it when we don't use it? Why have it clutter the source when we are not currently using it? CVS has it, so just toss it and it will be stored in the Attic directory forever. :-)