mirror of
https://github.com/php/web-php.git
synced 2026-04-01 04:02:10 +02:00
bc55d94455
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.