For my Grand Plan to move files into subdirectories on the lyx web site, it would be very useful for me to have access to the address of the page a person is looking at. So for example, if I'm looking at http://www.lyx.org/about/screenshots.html, then I know to hilight "screenshots" in the sub-menu navbar. So far all I've found is __FILE__, which gives you '/home/html/index.php3' which isn't really what I want. Asger has things like: $this = "foo.php3" at the top of each file. I *guess* we could use that, but shouldn't PHP3 be able to figure that out?! Note by the way that we'll need to know more than just the basename, because we need to differentiate between download/index.php3 and about/index.php3. (Yes, we could call it download/download.php3, but (a) that's a harder URL to remember, and (b) it's more kludgy.) All of this busywork is mostly caused by the same obsessiveness that makes me correct spelling mistakes in the docs. But I do also have a goal of making changing and adding to the website be as easy as possible. Which will be especially important when we put the site under CVS, if we want more people to keep the site up to date. -Amir
