dealing with case-insensitive cases of PHP