1
0
mirror of https://github.com/php/web-php.git synced 2026-03-24 15:22:19 +01:00
Commit Graph

13 Commits

Author SHA1 Message Date
Adam Harvey
b51b2d08fe Work through the remaining FIXME pages; put them in their correct categories,
and update aged markup as appropriate.

Yes, I did check the new markup on the non-beta site too.
2012-09-07 17:52:03 +08:00
Hannes Magnusson
60d5c3b903 Add current config option (ignored in old-web), and FIXME placeholders for pages
not in any menu yet
2010-12-28 11:09:09 +00:00
Gabor Hojtsy
d2e9db9150 interlink mirror related information 2006-09-11 21:01:19 +00:00
Mehdi Achour
d70c18a47d fix a typo spotted by shimi 2004-02-10 09:29:15 +00:00
Gabor Hojtsy
b6fdc95cbf more info on official mirrors, and it is only possible to know the provider name if we are dealing with an official mirror, so do not print otherwise 2004-01-27 08:42:11 +00:00
Gabor Hojtsy
e7a2250c2c There were no bug reports on the new layout pages
not working, so add this layout to some more used
pages (but still not to the most used pages)
2003-08-13 11:06:57 +00:00
Gabor Hojtsy
b9c58ef587 Drop search information alltogether, add base page and new include 2003-08-08 13:39:04 +00:00
Gabor Hojtsy
5fc16e3fe8 Do not inform users on local search support, there is nothing
like this working currently...
2003-08-07 12:31:12 +00:00
Gabor Hojtsy
1807811564 Correcting typo... 2003-03-24 12:21:59 +00:00
Gabor Hojtsy
870e3ff9a4 The last point had no meaning, as disabled mirrors won't know about
their status as disabled, cause they are disabled because their are not
updated, so the mirrors list is also not up to date...
2003-02-02 10:59:44 +00:00
Gabor Hojtsy
5d2c6ac90e Correcting function names... 2003-01-20 12:00:00 +00:00
Simone Cortesi
3ec66ba82c typo 2003-01-19 19:44:36 +00:00
Gabor Hojtsy
5ffbb98e0e Add new information page for users to get
more details about the current mirror site
2003-01-19 18:05:37 +00:00