mirror of
https://github.com/php/php-src.git
synced 2026-03-29 11:42:17 +02: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.