mirror of
https://github.com/php/php-src.git
synced 2026-03-24 08:12:21 +01:00
Added a few RCS $Id$ tags. # Note: I have avoided changing any .h files if the corresponding .c file # had not already been changed as I am not sure if there are any legal # issues here. So some extensions still have PHP 3 headers.