Add back the popup link functions, as used by the user comments.

Allow the caller of make_image() to opt out from
automatic image sizing

Use this feature and convert the border attribute
in make_submit() to output an [X]HTML compatible
<input>

Allow the caller of make_image() to opt out from
automatic image sizing

Use this feature and convert the border attribute
in make_submit() to output an [X]HTML compatible
<input> tag

show more ...

Tab => spaces and remove ending ?> for consistency

Tabs to spaces, and several rewrites among the common
layout functions. eg. the code for make_image() got optimized

Also employ coding style (comments, spaces, bracing)

Remove t

Tabs to spaces, and several rewrites among the common
layout functions. eg. the code for make_image() got optimized

Also employ coding style (comments, spaces, bracing)

Remove the popup link function which are not used for a very
long time...

Put the static root to $_SERVER['STATIC_ROOT'] so it can
easily go around the functions

The header and footer functions are still not rewritten, and
more work is needed on make_submit() to make it [X]HTML
compliant

These changes seem to work on my local mirror

show more ...

Do a very different SQL query in case of a dot
is provided in the URL, which indicates a better
qualified URL type. All such shortcuts are the end
of filenames, so search for them in this

Do a very different SQL query in case of a dot
is provided in the URL, which indicates a better
qualified URL type. All such shortcuts are the end
of filenames, so search for them in this form

show more ...

Let's have a better looking error report

Update usage graph

Report on local manual availability too

Adding file to use for local /manual alias check

If something is already typed in, then skip this

update the notice on the award, hope people vote

Ups, first is the option, then comes the pattern

revert

add slash for consistency

Adding php-editors.com

Define the new searchHistory() JS function to restore
the last search done by a user

Include this in the onload event handler of the index page,
and in all other pages, where an onlo

Define the new searchHistory() JS function to restore
the last search done by a user

Include this in the onload event handler of the index page,
and in all other pages, where an onload handler is not already
defined

Add name to form, so we can call it by it's name

JS tested with Mozilla. As the functions and objects used
are rather old, it should work with all browsers. In case someone
knows a better way, go and fix it ;)

show more ...

Use real HTML headers instead of simultaing them with
formatting markup

Drop the reference to <div class="small"> which was nonexistent,
and introduce a month header class to not lis

Use real HTML headers instead of simultaing them with
formatting markup

Drop the reference to <div class="small"> which was nonexistent,
and introduce a month header class to not list the month names at
all events, but only as a header

Reflect the latest changes in the comments too

show more ...

Reflect the phpdoc changes in the comments

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 ...

Tabs -> spaces on top, and override $lang with
$LANG if $lang was empty or not set, given that
$LANG is always set to some useable language
code

Only use a non-empty requested language

Also set the explicit lang if it was specified in a shortcut
(eg. /hu/echo) as we include the page now, and don't
redirect

Fix #23970

fix another goba error ;)

BC for README.mirror