php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-04-01 04:02:10 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
fd3d2066642e27764f65abfe45cd37dbdb7b435f
archived-web-php/error
History
Gabor Hojtsy f22d5f2805 Search in the manual, and not in the whole site if 
a shortcut URL cannot be matched to anything else
2002-12-16 17:57:00 +00:00
..
index.php
Search in the manual, and not in the whole site if
2002-12-16 17:57:00 +00:00