and <small>, which makes the HTML standards compatible and
much smaller. Also make the table look more like the other
standard tables on PHP.net (spacing)
honor the starting spaces on lines, discarded by browsers,
but do replace two nbsps with one and a space, as it is
rendered the same way, and is much smaller.
the function list search (so users won't get redirected to
google). Also provide the option to force the site to redirect
to do a documentation seach (on google currently) in case
a user is used to this
- introduce a new PHP friendly naming scheme,
like: manual_setup(), manual_header, etc.
- use PEAR coding standards (except naming)
- get rid of nasty globals, use one $PGI global for
all page related information storage
- get rid of unneded multiple function calls
(sendManualHeaders and manualHeader)
- reformat TOC information on pages, use modern CSS
styled divs, instead of tables and spacers
- get rid of email obfuscation code in user note handling,
it is done now on the rsync server (TODO: user note
text formatting should also be done there)
- getting rid of extra parameters, as info is always
available in $PGI
- XHTML friendly environment for printer friendly pages,
using CSS instead of nasty tables and other tricks
- Also provide BC functions, so the sites won't break
with the new code
Tested on a local mirror. This partically cleans the way
for livedocs, as it provides a much cleaner functional
interface of manual pages.
This commit is accompanied with the phpdoc modifications
to generate files with the new function calls in the future.
be used to print out the show source link properly on pages
accessed with shortcuts
Use the BASE_HREF on manual pages to provide a backlink
to the previous page after user note submissions, so thse
will work from shortcut accessed pages too
These two fixes hopefully close all the problems related to
manual URL shortcut page displays
generic _SERVER['BASE_HREF'], which we will use on all
pages
- Remove the old commented mirror switching part, which
was never used, and not going to be used
- Also employ BASE_HREF for the printed version, so the
right server name will be used, and XHTMLize the printed
page's header
parameter, to support the usage of webpage shortcuts
without redirections in the future
Also keep the two old base handling methods, until they
can be replaced by this general one
Gabor Hojtsy