Hide the left side bar and the top and bottom navbars
from mnogosearch, so the indexing will be a bit faster,
and the results will be more accurate. Mnogo will still
find all the pages st

Hide the left side bar and the top and bottom navbars
from mnogosearch, so the indexing will be a bit faster,
and the results will be more accurate. Mnogo will still
find all the pages starting from the TOCs and indexes

Also use $MYSITE instead of $SERVER_NAME and
$SERVER_PORT, as we have the mirrors detected
name in $MYSITE

Also remove some unused code from the user note
handling functions

show more ...

- Make it global too :)

- Remove inactive languages from this list too

Fix the manual page check on the dropdown to check with
an absolute path and not a relative (it can also be included
in a shortcut call)

Also comment it out the same time, as discuss

Fix the manual page check on the dropdown to check with
an absolute path and not a relative (it can also be included
in a shortcut call)

Also comment it out the same time, as discussed with the
php-mirrors list, for performance reasons [other language
listings are also done without checks on docs.php for
example] This eliminates approx. 24 stat() calls per
manual page display

show more ...

Add $BASE_FOR_MANPAGE which will always contain
the correct URI of a manual page which is currently served.

The code uses no external calls, it is based on config params
provided by

Add $BASE_FOR_MANPAGE which will always contain
the correct URI of a manual page which is currently served.

The code uses no external calls, it is based on config params
provided by sendmanualheaders() and manualheaders(), which
are always properly parameterized on all manpages and are
always called.

The <base> printout is added with a comment now,
so we can see if it works correcly. If yes, that the
comment signs can be removed, making that effective.

Then all the manual shortcuts can be changed to include()
manual pages instead of redirecting to them. Relative
links will work.

show more ...

Doh, $www_static_root was even not global-ed here...

Fix another image...

More work on moving accesses to static resources

Don't have the same code twice, use a snippet
instead to print out the '[+] add a note' part at the
top and the bottom of user notes

Also use a small font to be like the text around

Don't have the same code twice, use a snippet
instead to print out the '[+] add a note' part at the
top and the bottom of user notes

Also use a small font to be like the text around

Remove ending ?> for include header() safetly reasons

show more ...

I must have been looking at the wrong function, as I put too many
arguments. This should make it work now

make link black, to fit the layout

modifying per goba's suggestion

make it more obvious how to add a note

don't print a space either

as discussed with Goba, include all information on add-note.php, including a notice about copyrights. Since about-notes.php is extremely short and all information is now on add-note.php, don't displ

as discussed with Goba, include all information on add-note.php, including a notice about copyrights. Since about-notes.php is extremely short and all information is now on add-note.php, don't display a link to it anymore.

show more ...

Remove the <url-minder-ignore> tags
as the company is no more operational,
and anyway, these tags were ugly...

Also as there were only to /udmcomments,
and no opening ones, try t

Remove the <url-minder-ignore> tags
as the company is no more operational,
and anyway, these tags were ugly...

Also as there were only to /udmcomments,
and no opening ones, try to consolidate them.
=> adding the header and footer inside
udmcomments, so those won't be indexed
in the new mnogosearch experiment (on pl.php.net)

show more ...

Adding some space before the user notes

fix image reference

Applying a better solution for the problem,
preconfiguring page details in the already
existing page configuration array, and using
the information from there in the new XSL
sheets =>

Applying a better solution for the problem,
preconfiguring page details in the already
existing page configuration array, and using
the information from there in the new XSL
sheets => results in slightly smaller PHP files

show more ...

Let the XSL sheets be happy with different parameter
order (this code can be removed if XSL sheets are used
exclusively for phpweb file generation)

Do not modify $LANG (which is already perfeclty set up) to the manual's
language code...

Start the switch to /images instead of /gifs

Two smalls is a bit too much small for the form...

Close form after text, so it is not displayed on the next line

Align last modified date properly