mirror of
https://github.com/php/web-php.git
synced 2026-04-01 04:02:10 +02:00
as the company is no more operational, and anyway, these tags were ugly... Also as there were only to /udmcomments, and no opening ones, try to consolidate them. => adding the header and footer inside udmcomments, so those won't be indexed in the new mnogosearch experiment (on pl.php.net)