mirror of
https://github.com/php/php-src.git
synced 2026-03-26 17:22:15 +01:00
intersect_key() intersect_ukey() diff_key() diff_ukey() The first two by a patch of Cristiano Duarte. The second two were implemented in almost the same way except one small difference.
3.6 KiB
3.6 KiB