mirror of
https://github.com/nextcloud/server.git
synced 2026-04-21 14:23:17 -04:00
Otherwise its a normal string[] with the user ids, in that
case the array_merge did it's job just fine, apart from it
not being deduplicated.
The array+array is only needed when the user id is the key,
so integer only user ids are kept as they are instead of being
reindexed.
Regression from
|
||
|---|---|---|
| .. | ||
| Exception | ||
| DefaultShareProvider.php | ||
| Hooks.php | ||
| LegacyHooks.php | ||
| Manager.php | ||
| ProviderFactory.php | ||
| Share.php | ||
| ShareHelper.php | ||