mirror of
https://github.com/php/php-src.git
synced 2026-03-27 17:52:16 +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.
4.0 KiB
4.0 KiB