/**
* A special page that redirects to: the user for a numeric user id,
* the file for a given filename, or the page for a given revision id.
/**
* A special page that redirects to: the user for a numeric user id,
* the file for a given filename, or the page for a given revision id.