Here's one for the wizards: can I pass a file date in a header() call?
Background: Page has form with select list. If form variable ($DocUrl) is set, it passes the variable to $PHP_SELF. An if statement at beginning of script detects the variable and uses
<pre> { header("Location: $DocUrl"); }</pre>
to call the page.
I'd like to read the file date from the server and somehow make it available so the people who use the resulting pages know when it was last updated.