mirror of
https://github.com/php/php-src.git
synced 2026-04-21 23:18:13 +02:00
83513d9580
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.
1.7 KiB
1.7 KiB