PHP-1303: Collection::distinct()