php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-24 07:12:16 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
616407ab95147c1905e8e079c39ed8aee609e108
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